Similar repositories to HoTT/M-types:

• HoTT/M-types github similar
• danistefanovic/build-your-own-x github similar
• hecrj/iced github similar
• pixijs/pixi.js github similar
• tootsuite/mastodon github similar
• HoTT/Archive github similar
• pigworker/Ohrid-Agda github similar
• RobertHarper/hott-notes github similar
• qfpl/coordinate github similar
• soimort/idris-commonmark github similar
• kristinas/hinitiality github similar
• lambdageek/centrinel github similar
• bobatkey/sorting-types github similar
• gallais/agdARGS github similar
• mpickering/impure-hygienic-combinators github similar
• gelisam/strongly-typed-bound github similar
• msp-strath/ZEUG github similar
• Eelis/qs-avg github similar
• jdoughertyii/hott-species github similar
• ahmadsalim/well-typed-agda-interpreter github similar
• dalaing/type-systems github similar
• Saizan/cubical-demo github similar
• pcapriotti/agda-base github similar
• idris-hackers/idris-bot github similar
• clayrat/idris-linear github similar
• pthariensflame/PolyBase github similar
• Gabriel439/Haskell-DirStream-Library github similar
• AHartNtkn/UniMath-Cubicaltt github similar
• domdere/validation-idris 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
• micahflee/onionshare github similar
• jmchapman/Relative-Monads github similar
• ReactTraining/react-router github similar
• pandas-profiling/pandas-profiling github similar
• csete/gqrx github similar