Similar repositories to ezyang/HoTT-coqex:

• ezyang/HoTT-coqex github similar
• jdoughertyii/hott-exercises github similar
• danistefanovic/build-your-own-x github similar
• gpampara/scalaz-http-client github similar
• gibiansky/IHaskell github similar
• adelbertc/programming-in-idris github similar
• jonsterling/coq-meaning-explanation github similar
• stew/funlib github similar
• precog/quasar github similar
• davdar/redex-workshop-2015-ott github similar
• pittsburgh-haskell/pittsburgh-haskell-logo github similar
• EdwardMorehouse/hott_groupoids github similar
• RobertHarper/hott-notes github similar
• mikeshulman/hott-categories github similar
• sabauma/haskell-molecular-dynamics github similar
• soimort/idris-commonmark github similar
• IanOrton/decomposing-univalence github similar
• tonymorris/scalaz-history github similar
• tonymorris/fp-for-business github similar
• relrod/tryidris-android github similar
• peterlefanulumsdaine/higher-inductive-paper github similar
• UlfNorell/category-theory-experiments github similar
• nbenton/coqdomains github similar
• simpleenergy/se-stream-xml github similar
• gbaz/mess github similar
• guillaumebrunerie/HoTT github similar
• runarorama/lambda github similar
• puffnfresh/scrappy github similar
• xuwei-k/iarray github similar
• UACalc/uacalcsrc github similar
• CategoricalData/catdb github similar
• jdoughertyii/hott-species github similar
• dschepler/coq-topology github similar
• mathink/Cat_on_Coq github similar
• idris-hackers/idris-bot github similar
• jonsterling/TT-Reflection github similar
• puffnfresh/stl-idris github similar
• puffnfresh/purescript-streams github similar
• sdiehl/picologic github similar
• qfpl/coordinate github similar