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