Popular repositories Loading

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 12 2

4. graph-visualisation graph-visualisation Public

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

   Haskell 9

5. process-mining process-mining Public

   A library for process mining

   Haskell 8 2

6. centrifuge centrifuge Public

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

   Haskell 7