Pinned Loading

1. kleene kleene Public

   Kleene Algebra (Kozen axioms)

   Agda 2

2. regular regular Public

   Finite Automata and Regular Expressions for Regular Languages in Haskell

   Haskell 10 1

3. snowleopard/alga snowleopard/alga Public

   Algebraic graphs

   Haskell 719 68

4. dmwit/universe dmwit/universe Public

   Classes for types where we know all the values

   Haskell 37 17

5. emilypi/smash emilypi/smash Public

   Smash products, Wedge products, and other Pointed stuff

   Haskell 34 11