Similar repositories to copumpkin/java:

• copumpkin/java github similar
• danistefanovic/build-your-own-x github similar
• precog/quasar github similar
• gibiansky/IHaskell github similar
• jwiegley/set-theory github similar
• RobertHarper/hott-notes github similar
• sellout/Idris-CPDT github similar
• soimort/idris-commonmark github similar
• YoEight/stream github similar
• relrod/tryidris-android github similar
• copumpkin/vector-mmap github similar
• ekmett/thrists github similar
• djspiewak/wronglisp github similar
• gpampara/scalaz-http-client github similar
• adelbertc/programming-in-idris github similar
• jonsterling/coq-meaning-explanation github similar
• andrewthad/lens-prelude github similar
• stew/funlib github similar
• srijs/haskell-aws-dynamodb-conduit github similar
• reynir/Verified github similar
• lens/project-template github similar
• jozefg/ctt.elf github similar
• fferreira/NbE github similar
• FranklinChen/cmu-cs-212ML-notes-spring-1998 github similar
• jozefg/classical-realizability github similar
• david-christiansen/idris-utils github similar
• FranckS/RingIdris github similar
• jozefg/sml-abt-unify github similar
• FranklinChen/schreiner-friedman-pretty-printer github similar
• ayberkt/system-t-normalization github similar
• jonsterling/coq-algebra-experiments github similar
• gustavderdrache/lambda-templates github similar
• pittsburgh-haskell/pittsburgh-haskell-logo github similar
• thsutton/cha github similar
• puffnfresh/stl-idris github similar
• amsa/fallacy-hunter github similar
• amintimany/OPLSS github similar
• paulcc/xsaiga github similar
• taku0/purescript_fingertree github similar
• zot/coffee-script github similar