Pinned Loading

1. cat-herder cat-herder Public

   (Free) categories with constraints + n-ary monoidal products.

   Haskell

2. hegg-patterns hegg-patterns Public

   A Haskell package providing some hegg rewrite rules for common algebraic identities.

   Haskell

3. pointed-word pointed-word Public

   A Haskell package for modelling (multi)pointed words.

   Haskell

4. seq-zipper seq-zipper Public

   A package for comonadic sequence zippers.

   Haskell 1

5. prague prague Public

   A package for efficiently calculating and storing the extensions of binary feature vectors with respect to a set of observed objects.

   Jupyter Notebook 3

6. cmu-ipa cmu-ipa Public

   The CMU pronouncing dictionary, but with Unicode IPA symbols.

   Jupyter Notebook 4