Popular repositories Loading

1. groups groups Public

   Group and Abelian group typeclasses

   Haskell 12 7

2. family-tree family-tree Public

   A family tree library for the Haskell programming language

   Haskell 9 2

3. project-euler project-euler Public

   Project Euler solutions in Agda

   Agda 6

4. spriggan spriggan Public

   A sprite-based game library for Haskell

   Haskell 4

5. net net Public

   Toy neural net library in Haskell

   Haskell 4

6. hs-dcpu hs-dcpu Public

   DCPU emulator in Haskell

   Haskell 2