Popular repositories Loading

1. act-munich act-munich Public

   Resource for the applied category theory Munich reading group

   19 1

2. ct-consciousness ct-consciousness Public

   14

3. form-bakery form-bakery Public

   An invitation to Laws of Form

   Haskell 3 2

4. web-vpi web-vpi Public

   An interactive implementation of the Haken-Kelso-Bunz model which runs in a web browser.

   PHP 2 2

5. hotz-translation hotz-translation Public

   Translation of the document "Eine Algebraisierung des Syntheseproblems von Schaltkreisen" by Günter Hotz

   TeX 2

6. BotBuster BotBuster Public

   Turing game with a purpose.

   1