Similar repositories to jdoughertyii/hott-exercises:

• jdoughertyii/hott-exercises github similar
• gibiansky/IHaskell github similar
• ezyang/HoTT-coqex github similar
• gpampara/scalaz-http-client github similar
• adelbertc/programming-in-idris github similar
• jonsterling/coq-meaning-explanation github similar
• stew/funlib github similar
• precog/quasar github similar
• danistefanovic/build-your-own-x github similar
• jledent/vset github similar
• peterlefanulumsdaine/higher-inductive-paper github similar
• zalora/gctuner github similar
• YvgenTroshchiy/N2oChat github similar
• EdwardMorehouse/hott_groupoids github similar
• pittsburgh-haskell/pittsburgh-haskell-logo github similar
• jpaykin/DifferentialCohesiveHoTT github similar
• MonoidalAttackTrees/ATLL-Formalization github similar
• cloudozer/lingd github similar
• esmolanka/simple-pi github similar
• eait-itig/rdp_ui github similar
• dschepler/coq-topology github similar
• CategoricalData/catdb github similar
• jdoughertyii/hott-species github similar
• mikeshulman/hott-categories github similar
• esmolanka/distributed-process-raft github similar
• burtgulash/fbtrie github similar
• RobertHarper/hott-notes github similar
• soimort/idris-commonmark github similar
• AshleyYakeley/maths github similar
• o29/n2o github similar
• tonymorris/scalaz-history github similar
• tonymorris/fp-for-business github similar
• relrod/tryidris-android github similar
• nbenton/coqdomains github similar
• nmvdw/Three-HITs github similar
• amutake/coq-extensible-effects github similar
• AdRoll/getbox github similar
• pcapriotti/hott-exercises github similar
• pigworker/LibAgda github similar
• nmvdw/groupoids github similar