Skip to content





  1. An efficient proof language

    JavaScript 1.3k 52

  2. Exercises and Projects for Haskell Programming from First Principles by Allen & Moronuki

    HTML 28 2

  3. Exercises for Category Theory for Programmers by Bartosz Milewski


  4. Moonad: a p2p academic journal, or a social network for code?

    JavaScript 23 7

437 contributions in the last year

Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Mon Wed Fri

Contribution activity

November 2020

6 contributions in private repositories Nov 5 – Nov 16

Seeing something unexpected? Take a look at the GitHub profile guide.

You can’t perform that action at this time.