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