Similar repositories to copumpkin/rational:

• gibiansky/IHaskell github similar
• copumpkin/rational github similar
• copumpkin/peano github similar
• copumpkin/containers github similar
• gergoerdi/hindleymilner-agda github similar
• copumpkin/bitvector github similar
• dagit/dagit.github.io github similar
• copumpkin/fingertree github similar
• ekmett/blase github similar
• sdiehl/ts github similar
• gergoerdi/mod-arith github similar
• trillioneyes/idris-toys github similar
• copumpkin/drepa github similar
• alphaHeavy/vacuum-tube github similar
• wjzz/Agda-small-developments-and-examples github similar
• copumpkin/vector-mmap github similar
• raichoo/strangegroup-idris-June2014 github similar
• comius/haskell-fast-reals github similar
• mankyKitty/idris-webgl github similar
• raichoo/31C3Slides github similar
• bitonic/hakyll-agda github similar
• bobatkey/sorting-types github similar
• ekmett/revisions github similar
• ziman/idris-benchmarks github similar
• dysinger/agda-haskell-c-ffi-layer-cake github similar
• jonsterling/agda-effectful-forcing github similar
• FranckS/RingIdris github similar
• jonsterling/TT-Reflection github similar
• RedPRL/sml-dependent-lcf github similar
• gergoerdi/stlc-agda github similar
• edwinb/Eff github similar
• sellout/Idris-CPDT github similar
• ekmett/sparse github similar
• ekmett/time-series github similar
• pcapriotti/agda-base github similar
• gelisam/commutative github similar
• kfish/const-math-ghc-plugin github similar
• copumpkin/java github similar
• jonsterling/hs-abt github similar
• patperry/hs-linear-algebra github similar