Similar repositories to jpvillaisaza/abel:

• jpvillaisaza/abel github similar
• danistefanovic/build-your-own-x github similar
• edvmorango/jvm-concurrency-models github similar
• IanOrton/decomposing-univalence github similar
• jmchapman/categories github similar
• mietek/haskell-exchange-2015 github similar
• purescript/purescript-functors github similar
• jonsterling/constructive-sheaf-semantics github similar
• lambdabetaeta/modal-logics github similar
• m-yac/tt-in-cagda github similar
• L-TChen/ModalTypeTheory github similar
• effectfully/Cubes github similar
• andreasabel/ipl github similar
• benjaminselfridge/logix github similar
• msp-strath/platypus github similar
• pigworker/Totality github similar
• jespercockx/popl19-tutorial github similar
• RobertHarper/hott-notes github similar
• astump/cedilleum-spec github similar
• camfort/reprinter github similar
• gallais/agda-presburger github similar
• Saizan/cubical-demo github similar
• jpvillaisaza/cain github similar
• lambdageek/freer-church github similar
• gallais/aGdaREP github similar
• vmchale/permutations github similar
• cedille/cedille-developments github similar
• GaloisInc/tower github similar
• scmu/aopa github similar
• iblech/internal-methods github similar
• slyrz/hase github similar
• abooij/wiwikwlhott github similar
• willtim/recursion-schemes github similar
• fredefox/cat github similar
• mietek/idris-bash github similar
• dlicata335/cart-cube github similar
• jstolarek/why-dependent-types-matter github similar
• MaiaVictor/ESCoC github similar
• djspiewak/sparse github similar
• sstucki/system-f-agda github similar