Similar repositories to tauli/idris-monadic-parser:

• tauli/idris-monadic-parser github similar
• gibiansky/IHaskell github similar
• quasiquoting/reactive_bananerl github similar
• shaunlebron/parinfer github similar
• matthieubulte/purescript-proofs github similar
• LiamGoodacre/purescript-type-map github similar
• SimonJF/IdrisNet github similar
• mankyKitty/idris-webgl github similar
• gaverhae/okku-pi github similar
• RedPRL/sml-dependent-lcf github similar
• RyanMcG/Cadence github similar
• gelisam/commutative github similar
• lambda-11235/FarRP github similar
• paf31/purescript-leibniz github similar
• takeoutweight/sergeant-lewis github similar
• bobatkey/interactive-natural-deduction github similar
• hamishmack/ghcjs github similar
• LiamGoodacre/purescript-type-lang github similar
• dmbfm/purescript-puregl github similar
• paulyoung/purescript-corefn github similar
• jcoglan/lisp-dojo github similar
• david-christiansen/IdrisSqlite github similar
• brakmic/purescript-pouchdb github similar
• idris-hackers/iQuery github similar
• idris-hackers/idris-free github similar
• TikhonJelvis/array-forth github similar
• bobatkey/foveran github similar
• antitypical/Manifold github similar
• david-christiansen/derive-all-the-instances github similar
• bodil/purescript-typelevel github similar
• edwinb/WS-idr github similar
• lkuper/lvar-examples github similar
• nanotech/dhall-rs github similar
• puffnfresh/tryidris github similar
• fizyk20/differential-geometry github similar
• SimonJF/IdrisNet2 github similar
• david-christiansen/idris-type-providers github similar
• jamesdabbs/pi-base.hs github similar
• goldfirere/effects github similar
• tomhoule/purescript-waterslide-rs github similar