Similar repositories to robrix/Manifold:
robrix/Manifold
github
similar
danistefanovic/build-your-own-x
github
similar
ziman/itt
github
similar
gibiansky/IHaskell
github
similar
ayberkt/Mini-TT
github
similar
inanna-malick/hgit
github
similar
fsestini/tt-in-cubical
github
similar
Vierkantor/refinement-parsers
github
similar
Lapin0t/induction-recursion
github
similar
jonsterling/coq-guarded-computational-type-theory
github
similar
smimram/catt
github
similar
cj-xu/GentzenTrans
github
similar
robrix/effects-sequences
github
similar
neel-krishnaswami/linearml
github
similar
lambdabetaeta/modal-logics
github
similar
ecavallo/ptt
github
similar
jonsterling/tt
github
similar
ziman/idris-scheme
github
similar
m-yac/tt-in-cagda
github
similar
dlicata335/cubicalexperiments
github
similar
trommler/VeriGHC
github
similar
elpinal/rain-ml
github
similar
effectfully/Cubes
github
similar
ChrisPenner/Flow
github
similar
qfpl/consy
github
similar
jonsterling/lecture-notes
github
similar
Lysxia/lens-monad
github
similar
yforster/coq-synthetic-computability
github
similar
superfly/litefs
github
similar
roc-lang/roc
github
similar
kosmikus/hkd-sop
github
similar
maxsnew/virtual-equipments
github
similar
pigworker/Ming
github
similar
bobatkey/authenticated-data-structures
github
similar
gvolpe/split-morphism
github
similar
AndrasKovacs/preordertt
github
similar
WhatisRT/meta-cedille
github
similar
michaelsproul/dblib-linear
github
similar
elpinal/focused-modules
github
similar
ak3n/abt-zoo
github
similar