Popular repositories Loading

1. awesome-applied-category-theory awesome-applied-category-theory Public

   Forked from statebox/awesome-applied-ct

   ACT community resources

   19 3

2. open-games open-games Public

   Haskell implementation of open games

   Haskell 12 2

3. synthetic-probability synthetic-probability Public

   Demonstrating using the continuation monad as a probability monad in Haskell

   Haskell 8 1

4. julesh-optics julesh-optics Public

   julesh's playground for messing around with optics

   Haskell 5

5. elements elements Public

   Source of the open source book Elements of Cybernetics

   CSS 5

6. open-games-preprocessor open-games-preprocessor Public

   Open games syntax preprocessor for Haskell

   2