Similar repositories to DavePearce/FeatherweightRust:

• DavePearce/FeatherweightRust github similar
• danistefanovic/build-your-own-x github similar
• lsrcz/grisette github similar
• gibiansky/IHaskell github similar
• conal/Collaboration github similar
• karpathy/nanoGPT github similar
• NiallEgan/scala-staged-parsing github similar
• CoqHott/logrel-coq github similar
• LambdaQs/lambda-qs github similar
• andreasabel/universal-algebra github similar
• namin/rop github similar
• Mallku2/lua-redex-model github similar
• cubicle-model-checker/cubicle github similar
• namin/dafny-sandbox github similar
• sstucki/f-omega-int-agda github similar
• jsiek/denotational_semantics github similar
• TiarkRompf/reachability github similar
• webyrd/declarative-semantics github similar
• namin/mk-on-smt github similar
• casvdrest/composable-semantics github similar
• 95616ARG/pikos_popl2020 github similar
• UlfNorell/quasi-quote github similar
• jkoppel/thermometer-continuations github similar
• leuschel/logen github similar
• JohnReppy/compiling-pattern-guards github similar
• namin/clpsmt-miniKanren github similar
• FrozenWinters/SbE github similar
• rntz/minikanren-datalog github similar
• namin/scalogno github similar
• umazalakain/typing-linear-pi github similar
• david-christiansen/idris-interaction.rkt github similar
• Zeta611/simplebnf github similar
• PrAbsInt/appendix github similar
• hasura/monad-validate github similar
• fintelkai/fintel-heim-intensional-notes github similar
• npe9/aop github similar
• jonsterling/agda-calf github similar
• barry-jay-personal/tree-calculus github similar
• maxsnew/modal-scheme github similar
• c-cube/mc2 github similar