Similar repositories to parapluu/monadic-typechecker:

• parapluu/monadic-typechecker github similar
• danistefanovic/build-your-own-x github similar
• parapluu/encore github similar
• gasche/popl2018-papers github similar
• KMahoney/squee github similar
• iu-parfunc/gibbon github similar
• disco-lang/disco github similar
• nwf/dyna github similar
• well-typed/generics-sop github similar
• AJChapman/formatting github similar
• witheve/eve-native github similar
• david-christiansen/pie-hs github similar
• morloc-project/morloc github similar
• epsil/gll github similar
• snowleopard/build github similar
• nunoplopes/alive github similar
• melsman/mlkit github similar
• brownplt/flapjax github similar
• dmac/spin github similar
• mcorbin/meuse github similar
• beerendlauwers/haskell-papers-ereader github similar
• munificent/magpie github similar
• nineties/amber github similar
• substrait-io/substrait github similar
• rntz/datafun github similar
• haskell/vector github similar
• Gabriel439/Haskell-Morte-Library github similar
• mirth-lang/mirth github similar
• chrisdone/jl github similar
• topshell-language/topshell github similar
• quchen/stgi github similar
• BNFC/bnfc github similar
• hazelgrove/hazel github similar
• JetBrains/Arend github similar
• egraphs-good/egg github similar
• ollef/sixten github similar
• CakeML/cakeml github similar
• salsa-rs/salsa github similar
• OpenLogicProject/OpenLogic github similar
• dhall-lang/dhall-haskell github similar