Similar repositories to pbl64k/gpif-idris:

• pbl64k/gpif-idris github similar
• danistefanovic/build-your-own-x github similar
• pixijs/pixi.js github similar
• puffnfresh/stl-idris github similar
• pbl64k/gpif-datakinds github similar
• ddssff/slow-atp github similar
• dorchard/coeffects-experiments github similar
• RobertHarper/hott-notes github similar
• pigworker/Totality github similar
• domdere/fp-in-idris github similar
• precog/quasar github similar
• begriffs/aeson-t github similar
• andyfriesen/buffer-builder-aeson github similar
• codygman/haskell-vs-go-rest github similar
• helium/rollover github similar
• andrewthad/lens-prelude github similar
• alexcrichton/cc-rs github similar
• dysinger/khartes github similar
• joshcough/L5-Haskell github similar
• myuon/quartz github similar
• gibiansky/IHaskell github similar
• tootsuite/mastodon github similar
• Eloston/ungoogled-chromium github similar
• tsani/pushbullet-hs github similar
• edwinb/ConcIO github similar
• mankyKitty/idris-webgl github similar
• justjoheinz/idris-httpclient github similar
• alphaHeavy/forkable-monad github similar
• trillioneyes/idris-directory github similar
• reynir/Verified github similar
• kimmobrunfeldt/concurrently github similar
• benmos/HLevy github similar
• merijn/lambda-except github similar
• FranckS/RingIdris github similar
• hzelenka/idris-proofs github similar
• gustavderdrache/lambda-templates github similar
• yogsototh/spacemacs-conf github similar
• argonaut-io/argonaut-hs github similar
• trillioneyes/idris-canvas github similar
• jwiegley/bcalc github similar