Similar repositories to FranckS/RingIdris:

• FranckS/RingIdris github similar
• gibiansky/IHaskell github similar
• jmchapman/restriction-categories github similar
• reynir/Verified github similar
• GuglielmoS/sfidris github similar
• sellout/Idris-CPDT github similar
• adelbertc/programming-in-idris github similar
• precog/quasar github similar
• danistefanovic/build-your-own-x github similar
• SimonJF/IdrisNet github similar
• RobertHarper/hott-notes github similar
• bitonic/hakyll-agda github similar
• jonsterling/agda-effectful-forcing github similar
• smfactor/UnitsAsTypes github similar
• wyn/incremental github similar
• edwinb/Eff-new github similar
• puffnfresh/stl-idris github similar
• CategoricalData/HoTT-categories github similar
• david-christiansen/IdrisSqlite github similar
• pbl64k/gpif-idris github similar
• mikeshulman/dirtt github similar
• copumpkin/rational github similar
• trillioneyes/idris-toys github similar
• langston-barrett/coq-big-o github similar
• copumpkin/java github similar
• LeifW/online-typechecker github similar
• nmvdw/Three-HITs github similar
• IanOrton/decomposing-univalence github similar
• pcapriotti/agda-base github similar
• jship/tao github similar
• styzystyzy/Axiom_of_Choice github similar
• dorchard/effects-as-sessions github similar
• ziman/bibdris github similar
• raichoo/31C3Slides github similar
• olivierverdier/GeometricAlgebra github similar
• agda/ooAgda github similar
• markokoleznik/agda-writer github similar
• bacam/coqjvm github similar
• ziman/idris-benchmarks github similar
• orca-lang/orca github similar