Similar repositories to mcgordonite/idris-binary-rationals:

• mcgordonite/idris-binary-rationals github similar
• sarsko/CreuSAT github similar
• zerogerc/rational-setoid github similar
• sarahzrf/coq-depleted github similar
• stefan-hoeck/idris2-prim github similar
• jheiling/idris-electron github similar
• uds-psl/churchs-thesis-coq github similar
• roglo/coq_real github similar
• pi8027/efficient-finfun github similar
• thery/PolTac github similar
• eckart/SDL2-idris github similar
• justjoheinz/idris-httpclient github similar
• ziman/idris-bytes github similar
• eraserhd/Idris-json github similar
• HuwCampbell/idris-lens github similar
• fieldstrength/xquant github similar
• conal/calculating-compilers-agda github similar
• nicolabotta/SeqDecProbs github similar
• eckart/gl-idris github similar
• jdevuyst/dependable-data-structures github similar
• A1kmm/http4idris github similar
• kbertalan/tyttp github similar
• jonsterling/lcf-sequent-calculus-example github similar
• aprolog-lang/aprolog github similar
• andorp/IdrisExtSTGCodegen github similar
• pigworker/Syrup github similar
• TOTBWF/cubical-categories github similar
• karroffel/Idris2-Ocaml github similar
• uwplse/cheerios github similar
• imdea-software/fcsl-pcm github similar
• jdevuyst/rekenaar github similar
• QuentinDuval/IdrisPipes github similar
• mietek/formal-logic github similar
• sbp/idris-bi github similar
• leftaroundabout/linearmap-family github similar
• idream-build/idream github similar
• smtcoq/sniper github similar
• soren-n/bidi-higher-rank-poly github similar
• MatthewDaggitt/agda-routing github similar
• leon-vv/Todo github similar