Similar repositories to idris-hackers/idris-bot:

• idris-hackers/idris-bot github similar
• gibiansky/IHaskell github similar
• precog/quasar github similar
• pixijs/pixi.js github similar
• danistefanovic/build-your-own-x github similar
• bobatkey/Forvie github similar
• relrod/tryidris-android github similar
• dysinger/khartes github similar
• joshcough/L5-Haskell github similar
• jonsterling/twelf-itt github similar
• tlcsrc/tlcsrc.github.io github similar
• myuon/quartz github similar
• technicalpickles/the-perfect-gem github similar
• gpampara/scalaz-http-client github similar
• adelbertc/programming-in-idris github similar
• jonsterling/coq-meaning-explanation github similar
• stew/funlib github similar
• blockstack/stacks github similar
• seiji/dotfiles github similar
• shaunlebron/parinfer github similar
• stephanadls/state-dependent-gui github similar
• anchor/docker-build github similar
• np/NomPa github similar
• effectfully/Categories github similar
• effectfully/Ouroboros github similar
• pittsburgh-haskell/pittsburgh-haskell-logo github similar
• GallagherCommaJack/tt-provability github similar
• ahmadsalim/well-typed-agda-interpreter github similar
• pgregory/haxe_games github similar
• paf31/blog-source github similar
• effectfully/ECC github similar
• sw1sh/frege-spark github similar
• KesterTong/idris-finite-math github similar
• mikeshulman/hott-categories github similar
• davidlazar/hpygments github similar
• idris-hackers/iQuery github similar
• pigworker/Totality github similar
• newca12/haskell-atp github similar
• cdepillabout/docs github similar
• saltlang/saltlang github similar