Similar repositories to elpinal/twelf-proofs:

• hecrj/iced github similar
• DavePearce/Web.wy github similar
• elpinal/twelf-proofs github similar
• pixijs/pixi.js github similar
• danistefanovic/build-your-own-x github similar
• FPtje/UUAGC-Examples github similar
• remexre/hm-prolog github similar
• Techno-coder/lucent github similar
• wasm-lsp/wasm-lsp-server github similar
• yeslogic/glyph-names github similar
• mrkgnao/pico github similar
• vzaliva/helix github similar
• Soldat/soldat github similar
• maybevoid/lambek github similar
• sinistersnare/SinScheme github similar
• kennytm/omgwtf8 github similar
• Timwi/Funciton github similar
• jkachmar/dotnix github similar
• davidlazar/llvm-semantics github similar
• jsiek/abstract-binding-trees github similar
• nikhilm/ninja-rs github similar
• arcana-engine/arcana github similar
• sigurdschneider/lvc github similar
• jldodds/coq-lean-cheatsheet github similar
• bydriv/mhc github similar
• MaiaVictor/articles github similar
• ocamllabs/fomega github similar
• Gradual-Typing/Grift github similar
• JoaoBaptMG/gba-modern github similar
• mlemerre/l-lang github similar
• algebraic-graphs/agda github similar
• mit-plv/timl github similar
• robrix/path github similar
• etherealmachine/entish github similar
• unison-code/unison github similar
• oxalica/nil github similar
• HerrmannM/eole github similar
• elikaski/BF-it github similar
• cdanis/sandia-public-license github similar
• stchang/macrotypes github similar