Similar repositories to standardml/twelf:
standardml/twelf
github
similar
danistefanovic/build-your-own-x
github
similar
pixijs/pixi.js
github
similar
tootsuite/mastodon
github
similar
RobertHarper/hott-notes
github
similar
gibiansky/IHaskell
github
similar
ReactTraining/react-router
github
similar
SMLFamily/The-Mechanization-of-Standard-ML
github
similar
meilisearch/MeiliSearch
github
similar
hecrj/iced
github
similar
shaunlebron/parinfer
github
similar
chriskempson/base16
github
similar
RobertHarper/TILT-Compiler
github
similar
jyp/nano-Agda
github
similar
aquynh/capstone
github
similar
motemen/gore
github
similar
k6io/k6
github
similar
boyland/twelf-library
github
similar
standardml/cmlib
github
similar
pigworker/MetaprogAgda
github
similar
david-christiansen/pudding-old
github
similar
vrahli/NuprlInCoq
github
similar
msp-strath/ZEUG
github
similar
league/qcheck
github
similar
jonsterling/JonPRL
github
similar
robsimmons/functioning
github
similar
reynir/Brainfuck
github
similar
SMLFamily/SMLFamily.github.io
github
similar
SMLFamily/Successor-ML
github
similar
UlfNorell/agda-summer-school
github
similar
chrisamaphone/lfinlf
github
similar
ilya-klyuchnikov/lambdapi
github
similar
SMLFamily/The-Definition-of-Standard-ML
github
similar
rossberg/hamlet
github
similar
dorchard/effects-as-sessions
github
similar
uwplse/magic
github
similar
tuvtran/project-based-learning
github
similar
coq-community/reglang
github
similar
clf/celf
github
similar
SMLFamily/SML-The-Living-Language
github
similar