Similar repositories to maxsnew/cubical-cbpv:
plt-amy/cubical-methods
github
similar
maxsnew/cubical-cbpv
github
similar
pamellies/models-of-programming-languages
github
similar
mikeshulman/ohtt
github
similar
smlnj/smlnj
github
similar
oven-sh/bun
github
similar
ronami/HypeScript
github
similar
pigworker/SmolCat
github
similar
ralsei/six-eyes
github
similar
nmvdw/RezkCompletion
github
similar
HarrisonGrodin/agda-modtt
github
similar
TOTBWF/cooltt-categories
github
similar
nachivpn/expelim
github
similar
xuanruiqi/commalg
github
similar
TOTBWF/agda-groups
github
similar
tomdjong/TypeTopology
github
similar
elpinal/duploids
github
similar
kbuzzard/etale_experiments
github
similar
andrejbauer/higher-rank-syntax
github
similar
kckennylau/mathlib4
github
similar
niccoloveltri/final-pfin
github
similar
arthuraa/agda-hoas-demo
github
similar
yforster/coq-synthetic-computability
github
similar
maxsnew/grammars-and-semantic-actions
github
similar
paolobrasolin/quantales
github
similar
danistefanovic/build-your-own-x
github
similar
hecrj/iced
github
similar
Simspace/parallel-and-concurrent-haskell-bookclub
github
similar
dannypsnl/inductive
github
similar
wenkokke/polygen
github
similar
raptazure/kweh
github
similar
tlringer/ml-for-proofs
github
similar
pabloariasal/protofmt
github
similar
toeverything/AFFiNE
github
similar
zserge/lc3-forth
github
similar
pietroborrello/CustomProcessingUnit
github
similar
olamide203/hyoka
github
similar
sudeep9/mojo
github
similar
nathants/git-remote-aws
github
similar
Zekt/MOlang
github
similar