Similar repositories to puffnfresh/idris-workshop:

• puffnfresh/idris-workshop github similar
• gibiansky/IHaskell github similar
• krisajenkins/Haskell-Space-Trader github similar
• dorchard/computational-semantics github similar
• reborg/euroclojure-2014 github similar
• stuartsierra/devbox github similar
• rstradling/datomic-crate github similar
• simonmar/fpdays14 github similar
• krisajenkins/AdventOfCode github similar
• namin/clpset-miniKanren github similar
• frenchy64/typed-clojurescript-play github similar
• tgk/the-composing-schemer github similar
• jaycfields/jry github similar
• killy971/codecov-haskell github similar
• bloomberg/blpapi-hs github similar
• puffnfresh/tryidris github similar
• creichert/haskellrustdemo github similar
• GaloisInc/jvm-parser github similar
• asivitz/Hickory github similar
• ztellman/aloha github similar
• sanjoy/DietLISP github similar
• prabirshrestha/reactive-cocoa-playground github similar
• TikhonJelvis/Simple-Prolog github similar
• readevalprintlove/clojurescript-cheatsheet github similar
• alexmingoia/pux-devtool github similar
• Hendekagon/lein-clique github similar
• webyrd/miniKanren-uncourse github similar
• PapenfussLab/bioshake github similar
• bodil/purescript-eulalie github similar
• narkisr-deprecated/supernal github similar
• david-christiansen/idris-quickcheck github similar
• michaelklishin/crawlista github similar
• gasche/manual-ocamlbuild github similar
• gershwin/gershwin github similar
• qmuli/qmuli github similar
• redeyes/redeyes github similar
• moxuse/Kusabi github similar
• mtnygard/devs github similar
• s312569/clj-biosequence github similar
• Factual/clj-leveldb github similar