Popular repositories

1. pangraph pangraph Public

   A Haskell library for mathematical graph parsing and writing.

   Haskell 20 4

2. selective-theory-coq selective-theory-coq Public

   Selective applicative functors laws and theorems

   Coq 14

3. plato plato Public

   A DSL for asynchronous circuits specification

   Haskell 11 2

4. process-mining process-mining Public

   A library for process mining

   Haskell 8 1

5. centrifuge centrifuge Public

   Parse GraphML, crunch with Alga, pretty-print to VHDL

   Haskell 8

6. graph-visualisation graph-visualisation Public

   Provides a series of graph-drawing functions for use with the algebraic-graphs library.

   Haskell 8