Similar repositories to zsparks/poutine:
zsparks/poutine
github
similar
jroesch/acetic
github
similar
iain/coffee-machine
github
similar
IreneKnapp/modern-data
github
similar
tel/ocaml-transducers
github
similar
GaloisInc/mistral
github
similar
Blaisorblade/abt
github
similar
bobatkey/foveran
github
similar
edwinb/Idris-old
github
similar
hamishmack/ghcjs
github
similar
23Skidoo/popl13-papers-links
github
similar
RobertHarper/hott-notes
github
similar
valderman/lambdascript
github
similar
standardml/parcom
github
similar
biboudis/sml-streams
github
similar
conal/circat
github
similar
Elderry/TaPL-SML
github
similar
msp-strath/ZEUG
github
similar
Guest0x0/normalization-bench
github
similar
david-christiansen/pudding-old
github
similar
RobertHarper/TILT-Compiler
github
similar
tomlokhorst/AwesomePrelude
github
similar
moonmaster9000/bird
github
similar
SMLFamily/BasisLibrary
github
similar
edwinb/EpiVM
github
similar
gallais/generic-syntax
github
similar
gasche/icfp2013-papers
github
similar
standardml/twelf
github
similar
ocharles/hadoom
github
similar
lynaghk/todoFRP
github
similar
abella-prover/abella
github
similar
mckoss/lookups
github
similar
smlnj/smlnj
github
similar
kosmikus/lhs2tex
github
similar
gasche/popl2018-papers
github
similar
dvanhorn/redex-aam-tutorial
github
similar
conal/lambda-ccc
github
similar
dmbarbour/awelon
github
similar
pigworker/MetaprogAgda
github
similar
mietek/charity-lang
github
similar