Similar repositories to bitonic/agdastuff:
bitonic/agdastuff
github
similar
gibiansky/IHaskell
github
similar
scvalex/ltc
github
similar
guillaumebrunerie/SmashProduct
github
similar
UlrikBuchholtz/cubical-hott-agda
github
similar
IanOrton/decomposing-univalence
github
similar
semorrison/lean-tidy
github
similar
iblech/scheme-theory-in-agda
github
similar
sellout/Idris-CPDT
github
similar
nmvdw/Three-HITs
github
similar
pigworker/Pivotal
github
similar
jonsterling/coq-guarded-computational-type-theory
github
similar
RobertHarper/hott-materials
github
similar
gallais/agda-presburger
github
similar
pigworker/CS410-13
github
similar
CHTT-s18/lecture-notes
github
similar
RobertHarper/hott-notes
github
similar
rodrigogribeiro/agda-software-foundations
github
similar
edwinb/WS-idr
github
similar
mr-ohman/logrel-mltt
github
similar
JohnWCartmell/Theory
github
similar
ghc/packages-base
github
similar
guillaumebrunerie/initiality
github
similar
iblech/internal-methods
github
similar
andrejbauer/what-is-algebraic-about-algebraic-effects
github
similar
semorrison/lean-category-theory
github
similar
cmeiklejohn/distributed-data-structures
github
similar
yav/type-nat-solver
github
similar
crypto-agda/crypto-agda
github
similar
ekmett/bifunctors
github
similar
moonmaster9000/bird
github
similar
david-christiansen/idris-quickcheck
github
similar
spire/spire
github
similar
jstolarek/why-dependent-types-matter
github
similar
byorgey/thesis
github
similar
dorchard/type-level-sets
github
similar
mikeshulman/catlog
github
similar
ekmett/constraints
github
similar
UlfNorell/insane
github
similar
ekmett/profunctors
github
similar