PinnedLoading

1. kleenekleenePublic

   Kleene Algebra (Kozen axioms)

   Agda 2

2. regularregularPublic

   Finite Automata and Regular Expressions for Regular Languages in Haskell

   Haskell 10 1

3. snowleopard/algasnowleopard/algaPublic

   Algebraic graphs

   Haskell 747 71

4. dmwit/universedmwit/universePublic

   Classes for types where we know all the values

   Haskell 39 19

5. emilypi/smashemilypi/smashPublic

   Smash products, Wedge products, and other Pointed stuff

   Haskell 35 12