Similar repositories to mr-ohman/intuitionistic-normalization:
mr-ohman/intuitionistic-normalization
github
similar
smlnj/smlnj
github
similar
pigworker/SmolCat
github
similar
plt-amy/cubical-methods
github
similar
ralsei/six-eyes
github
similar
nmvdw/RezkCompletion
github
similar
jirkamarsik/lambda-mu
github
similar
RobertHarper/pfpl-defns
github
similar
heades/cut-fill-agda
github
similar
yforster/coq-synthetic-computability
github
similar
jonsterling/sml-pronominal-ml
github
similar
ivan-m/transmogrify
github
similar
jozefg/concurrent-stack-with-helping
github
similar
jonsterling/lecture-notes
github
similar
5HT/agda-nr-cats
github
similar
EgbertRijke/CategoryTheory_Course
github
similar
robinvd/rlang
github
similar
danistefanovic/build-your-own-x
github
similar
hecrj/iced
github
similar
dannypsnl/inductive
github
similar
wenkokke/polygen
github
similar
raptazure/kweh
github
similar
tlringer/ml-for-proofs
github
similar
oven-sh/bun
github
similar
pabloariasal/protofmt
github
similar
ronami/HypeScript
github
similar
ayberkt/rafine
github
similar
mietek/abel-chapman-extended
github
similar
guillaumebrunerie/SmashProduct
github
similar
xuanruiqi/commalg
github
similar
tomdjong/TypeTopology
github
similar
elpinal/duploids
github
similar
pamellies/models-of-programming-languages
github
similar
UlfNorell/effects
github
similar
amblafont/UniversalII
github
similar
nachivpn/expelim
github
similar
pigworker/PolyTest
github
similar
ayberkt/sml-redprl
github
similar
ToTal/total
github
similar
ayberkt/LamPi
github
similar