Similar repositories to alhassy/next-700-module-systems:
alhassy/next-700-module-systems
github
similar
danistefanovic/build-your-own-x
github
similar
gibiansky/IHaskell
github
similar
hecrj/iced
github
similar
tootsuite/mastodon
github
similar
tuvtran/project-based-learning
github
similar
alexcrichton/cc-rs
github
similar
meilisearch/MeiliSearch
github
similar
Eugeny/terminus
github
similar
pixijs/pixi.js
github
similar
julianhyde/morel
github
similar
andreasabel/miniagda
github
similar
groupoid/anders
github
similar
metaocaml/metaocaml-bibliography
github
similar
alhassy/gentle-intro-to-reflection
github
similar
LightAndLight/qtt
github
similar
peterlefanulumsdaine/general-type-theories
github
similar
LightAndLight/sage
github
similar
jozefg/nbe-for-mltt
github
similar
owo-lang/voile-rs
github
similar
jozefg/blott
github
similar
ReactTraining/react-router
github
similar
metaborg/linear.agda
github
similar
jonsterling/agda-calf
github
similar
shaunlebron/parinfer
github
similar
gallais/generic-syntax
github
similar
sweirich/lennart-lambda
github
similar
ak3n/modules-papers
github
similar
JohnReppy/compiling-pattern-guards
github
similar
lexi-lambda/higher-rank
github
similar
RobertHarper/hott-notes
github
similar
kcrary/cmtool
github
similar
AndrasKovacs/setoidtt
github
similar
facet-lang/facet
github
similar
ditto/ditto
github
similar
DimaSamoz/agda-soas
github
similar
iu-parfunc/gibbon
github
similar
vishesh/racketscript
github
similar
poitin/Distiller
github
similar
molikto/mlang
github
similar