Similar repositories to mietek/lambda-pi:
mietek/lambda-pi
github
similar
larrytheliquid/generic-elim
github
similar
avsm/ocaml-abnf
github
similar
rgm/read52
github
similar
patrickt/configurant
github
similar
steshaw/learning-programming-languages
github
similar
Lysxia/generic-recursion-schemes
github
similar
hrldcpr/Bezier.hs
github
similar
markd2/CGPS
github
similar
patrickt/bracer
github
similar
webyrd/relational-parsing-with-derivatives
github
similar
robrix/path
github
similar
ilya-klyuchnikov/lambdapi
github
similar
mfp/ocsiblog
github
similar
BigZaphod/AStar
github
similar
Lemmih/lhc
github
similar
wh5a/Algorithm-W-Step-By-Step
github
similar
beerendlauwers/haskell-papers-ereader
github
similar
ekmett/trifecta
github
similar
sweirich/pi-forall
github
similar
facebookincubator/retrie
github
similar
fused-effects/fused-effects
github
similar
ghc-proposals/ghc-proposals
github
similar
damelang/nile
github
similar
ianh/owl
github
similar
eudoxia0/cmacro
github
similar
tonymorris/fp-course
github
similar
uber-go/zap
github
similar
NationalSecurityAgency/ghidra
github
similar
awesomedata/awesome-public-datasets
github
similar
papers-we-love/papers-we-love
github
similar
EbookFoundation/free-programming-books
github
similar