Popular repositories

1. grenade Public

   Deep Learning in Haskell

   Haskell 1.4k 85

2. idris-lens Public

   van Laarhoven lenses for Idris

   Idris 21 8

3. zebra Public

   Forked from icicle-lang/zebra-ambiata

   Column-oriented binary format for immutable datasets

   Haskell 9 1

4. orc-haskell Public

   Haskell ORC File Handler

   Haskell 7 1

5. optparse-idris Public

   Minimal port of optparse-applicative to idris

   Idris 6 5

6. snappier Public

   R bindings for the snappy compression library

   C++ 5 1