Similar repositories to mikesperber/icfp2020:

• mikesperber/icfp2020 github similar
• danistefanovic/build-your-own-x github similar
• ReactTraining/react-router github similar
• tootsuite/mastodon github similar
• Eugeny/terminus github similar
• meilisearch/MeiliSearch github similar
• tweag/awesome-learning-haskell github similar
• OPLSS/oplss-notes-2021 github similar
• yihozhang/sdl github similar
• kwanghoon/bidi github similar
• julianhyde/morel github similar
• IBM/lagraph github similar
• razvan-flavius-panda/awesome-agda-programming github similar
• cuplv/dai github similar
• jmid/pbt-frameworks github similar
• mikesperber/pgg github similar
• martinjonas/Q3B github similar
• jespercockx/popl19-tutorial github similar
• jsiek/featherweight-C github similar
• Ucombinator/jaam github similar
• tvdstorm/oalgcomp github similar
• microsoft/staticstaging github similar
• pis147879/PELCR github similar
• TiarkRompf/lms-clean github similar
• verse-lab/ego github similar
• namin/lms-verify github similar
• JohnWCartmell/Theory github similar
• hopv/MoCHi github similar
• Kraks/sai github similar
• dinosaure/pasteur github similar
• adamgfraser/solving-the-dependency-injection-problem-with-zio github similar
• JacquesCarette/finally-tagless github similar
• kframework/llvm-semantics github similar
• ajlopez/SimpleActors github similar
• snowleopard/selective-ocaml github similar
• alhassy/next-700-module-systems github similar
• thautwarm/FSTan github similar
• yallop/ocaml-re-nfa github similar
• prathyvsh/history-of-logic github similar
• SimonJF/cmm_of_wasm github similar