Popular repositories Loading

1. compdata compdata Public

   Forked from pa-ba/compdata

   Haskell library implementing "Data Types a la Carte"

   Haskell

2. alga alga Public

   Forked from snowleopard/alga

   Algebraic graphs

   Haskell

3. compdata-dags compdata-dags Public

   Haskell

4. weeder weeder Public

   Forked from ocharles/weeder

   A re-implementation of weeder using HIE files

   Haskell

5. holmes holmes Public

   Forked from i-am-tom/holmes

   A reference library for constraint-solving with propagators and CDCL.

   Haskell