Similar repositories to fabianmuehlboeck/monnom:
danistefanovic/build-your-own-x
github
similar
fabianmuehlboeck/monnom
github
similar
cheery/suoml
github
similar
LPTK/simpler-sub
github
similar
owo-lang/MLPolyR
github
similar
samuela/bidirectional-typing
github
similar
hkust-taco/mlscript
github
similar
Gradual-Typing/Grift
github
similar
AndrasKovacs/staged
github
similar
LPTK/simple-sub
github
similar
stedolan/mlsub
github
similar
epfldata/squid
github
similar
Whiley/WhileyCompiler
github
similar
ollef/sixty
github
similar
samth/gradual-typing-bib
github
similar
rossberg/1ml
github
similar
stedolan/counterexamples
github
similar
links-lang/links
github
similar
caryll/otfcc
github
similar
polyml/polyml
github
similar
granule-project/granule
github
similar
miloyip/svpng
github
similar
Ubpa/RenderLab
github
similar
orangeduck/tgc
github
similar
ollef/sixten
github
similar
ocaml-multicore/ocaml-multicore
github
similar
matijapretnar/eff
github
similar
Coq-zh/SF-zh
github
similar
MLton/mlton
github
similar
tomprimozic/type-systems
github
similar
koka-lang/koka
github
similar
flix/flix
github
similar
skiplang/skip
github
similar
ivmai/bdwgc
github
similar
ocaml-community/awesome-ocaml
github
similar
gluon-lang/gluon
github
similar
actor-framework/actor-framework
github
similar
nem0/LumixEngine
github
similar
ocaml/ocaml
github
similar
ssloy/tinyraytracer
github
similar