Similar repositories to puffnfresh/tryidris:

• puffnfresh/tryidris github similar
• gibiansky/IHaskell github similar
• danistefanovic/build-your-own-x github similar
• tootsuite/mastodon github similar
• gionkunz/chartist-js github similar
• precog/quasar github similar
• hecrj/iced github similar
• Eloston/ungoogled-chromium github similar
• RobertHarper/hott-notes github similar
• MaxOw/Idris-WebGL github similar
• soimort/idris-commonmark github similar
• jstolarek/why-dependent-types-matter github similar
• SimonJF/IdrisNet github similar
• david-christiansen/idris-quickcheck github similar
• ziman/idris-benchmarks github similar
• jonsterling/TT-Reflection github similar
• idris-hackers/eff-tutorial github similar
• dysinger/khartes github similar
• puffnfresh/stl-idris github similar
• adelbertc/programming-in-idris github similar
• pixijs/pixi.js github similar
• Eugeny/terminus github similar
• tuvtran/project-based-learning github similar
• google/shaka-player github similar
• meilisearch/MeiliSearch github similar
• sarsko/CreuSAT github similar
• aquynh/capstone github similar
• andyarvanitis/idris-cplusplus github similar
• david-christiansen/pudding-old github similar
• idris-hackers/iQuery github similar
• SimonJF/IdrisNet2 github similar
• david-christiansen/idris-interaction.rkt github similar
• reynir/Verified github similar
• ziman/bibdris github similar
• idris-hackers/idris-posix github similar
• tonymorris/fp-for-business github similar
• FranckS/RingIdris github similar
• tonymorris/scalaz-history github similar
• peterlefanulumsdaine/higher-inductive-paper github similar
• JacquesCarette/pi-dual github similar