Similar repositories to iain/coffee-machine:
iain/coffee-machine
github
similar
jroesch/acetic
github
similar
zsparks/poutine
github
similar
tel/ocaml-transducers
github
similar
GaloisInc/mistral
github
similar
Blaisorblade/abt
github
similar
standardml/parcom
github
similar
biboudis/sml-streams
github
similar
bobatkey/foveran
github
similar
Elderry/TaPL-SML
github
similar
msp-strath/ZEUG
github
similar
david-christiansen/pudding-old
github
similar
RobertHarper/TILT-Compiler
github
similar
moonmaster9000/bird
github
similar
SMLFamily/BasisLibrary
github
similar
standardml/twelf
github
similar
abella-prover/abella
github
similar
smlnj/smlnj
github
similar
kosmikus/lhs2tex
github
similar
dvanhorn/redex-aam-tutorial
github
similar
pigworker/MetaprogAgda
github
similar
headius/mirah
github
similar
adamgundry/type-inference
github
similar
sweirich/tal
github
similar
jasonjckn/llvm-clojure-bindings
github
similar
stedolan/ppx_stage
github
similar
visi-lang/visi
github
similar
conal/lambda-ccc
github
similar
diku-dk/smlpkg
github
similar
ekmett/hask
github
similar
plt-amy/1lab
github
similar
stedolan/mlsub
github
similar
SMLFamily/Successor-ML
github
similar
smlsharp/smlsharp
github
similar
disnet/contracts.coffee
github
similar
melsman/mlkit
github
similar
UniMath/Foundations
github
similar
Andromedans/andromeda
github
similar
rsms/move
github
similar
ollef/Earley
github
similar