Similar repositories to uwutech/Kind:
uwutech/Kind
github
similar
kindelia-archive/LambdaVM
github
similar
MaiaVictor/Treeduce
github
similar
VictorTaelin/Treeduce
github
similar
BramvanVeenschoten1/qtt
github
similar
kindelia-archive/Lambolt
github
similar
noocene/welkin-core
github
similar
kindelia-archive/Ubilog
github
similar
noocene/welkin
github
similar
Soonad/Base.fm
github
similar
yatima-inc/yatima-lang
github
similar
Soonad/Formality-Haskell
github
similar
MaiaVictor/ultimate-calculus
github
similar
Soonad/FormalityFM
github
similar
MaiaVictor/Moonad-web-legacy
github
similar
Soonad/Formality-Core
github
similar
valmirjunior0088/curios
github
similar
Soonad/Moonad
github
similar
astump/cedilleum-spec
github
similar
astump/cedille-core-spec
github
similar
VictorTaelin/ultimate-calculus
github
similar
moonad/FormCoreJS
github
similar
WhatisRT/meta-cedille
github
similar
granule-project/gerty
github
similar
cicada-lang/inet
github
similar
mmcqd/datatt
github
similar
AndrasKovacs/normalization-bench
github
similar
jfaure/Irie-lang
github
similar
molikto/mlang
github
similar
MaiaVictor/ESCoC
github
similar
aya-prover/aya-dev
github
similar
Kindelia/Kind2
github
similar
kindelia-archive/Kindelia
github
similar
jonsterling/dreamtt
github
similar
JDemler/BidirectionalTypechecking
github
similar
moonad/TaelinArena
github
similar
Soonad/Whitepaper
github
similar
HerrmannM/eole
github
similar
jozefg/blott
github
similar
plt-amy/1lab
github
similar