Similar repositories to maxsnew/grammars-and-semantic-actions:
mikeshulman/ohtt
github
similar
pigworker/SmolCat
github
similar
plt-amy/cubical-methods
github
similar
ralsei/six-eyes
github
similar
maxsnew/grammars-and-semantic-actions
github
similar
yforster/coq-synthetic-computability
github
similar
smlnj/smlnj
github
similar
nmvdw/RezkCompletion
github
similar
danistefanovic/build-your-own-x
github
similar
gibiansky/IHaskell
github
similar
oven-sh/bun
github
similar
pamellies/models-of-programming-languages
github
similar
amintimany/OPLSS
github
similar
ericfinster/opetopic-types
github
similar
mmcqd/fibertt
github
similar
XmacsLabs/interactive-sicp
github
similar
RobertHarper/pfpl-defns
github
similar
jcreedcmu/lambda-maps
github
similar
RedPRL/sml-lcf
github
similar
guillaumebrunerie/SmashProduct
github
similar
jirkamarsik/lambda-mu
github
similar
silvanshade/cool-tt
github
similar
marcinjangrzybowski/cubeViz2
github
similar
RedPRL/asai
github
similar
maxsnew/virtual-equipments
github
similar
RobertHarper/hott-notes
github
similar
niccoloveltri/final-pfin
github
similar
jonsterling/sml-abt
github
similar
jonsterling/twelf-itt
github
similar
jonsterling/sml-pronominal-ml
github
similar
jonsterling/ocaml-abt
github
similar
jonsterling/sml-kripke-schema
github
similar
jonsterling/sml-spreads
github
similar
Eugeny/terminus
github
similar
jonsterling/lecture-notes
github
similar
5HT/agda-nr-cats
github
similar
EgbertRijke/CategoryTheory_Course
github
similar
k6io/k6
github
similar
NetchX/Netch
github
similar
tuvtran/project-based-learning
github
similar