Similar repositories to Risto-Stevcev/idris-heyting-algebra:

• Risto-Stevcev/idris-heyting-algebra github similar
• shaunlebron/parinfer github similar
• david-christiansen/idris-tf-random github similar
• GuglielmoS/sfidris github similar
• altercation/dotfiles-tilingwm github similar
• aatxe/cube.idr github similar
• yurrriq/idris-logic github similar
• styzystyzy/Axiom_of_Choice github similar
• ziman/idris-bytes github similar
• jmchapman/restriction-categories github similar
• sellout/Idris-CPDT github similar
• kowainik/idris-patricia github similar
• be5invis/idris-dict github similar
• jdolson/univalence-from-scratch github similar
• nmvdw/Three-HITs github similar
• danilkolikov/categories github similar
• mikera/spectral github similar
• msullivan/typecoin github similar
• RobertHarper/hott-notes github similar
• hypotext/linear-logic github similar
• FranckS/RingIdris github similar
• msp-strath/platypus github similar
• imdea-software/fcsl-pcm github similar
• CategoricalData/HoTT-categories github similar
• mrocklin/matrix-algebra github similar
• camfort/reprinter github similar
• dorchard/effects-as-sessions github similar
• idris-hackers/idrispkgs github similar
• gallais/aGdaREP github similar
• vmchale/permutations github similar
• bnomis/om-next-datascript-localisation-demo github similar
• QuentinDuval/IdrisReducers github similar
• gallais/agda-sizedIO github similar
• langston-barrett/coq-big-o github similar
• jasonmorton/Cateno github similar
• idris-hackers/idris-posix github similar
• sbp/idris-bi github similar
• harc/constraint-based-spreadsheet github similar
• minimal-xyz/minimal-shadow-cljs-nodejs github similar
• QuentinDuval/IdrisPipes github similar