Pinned

1. crem crem Public

   Compositional Representable Executable Machines

   Haskell 96 6

2. tweag/awesome-learning-haskell tweag/awesome-learning-haskell Public

   A collection of resources which were useful to Tweagers for learning Haskell and its various aspects

   402 20

3. tweag/servant-template tweag/servant-template Public

   A modern template for a Servant

   Haskell 51 7

4. statebox/idris-ct statebox/idris-ct Public

   formally verified category theory library

   Idris 249 22

5. tweag/haskell-training tweag/haskell-training Public

   Material for Haskell training

   Haskell 31 5

6. lamphpda lamphpda Public

   A collection of type-safe functional data structures

   PHP 112 8