Block or report user

Popular repositories

  1. AI

    artificial intelligence on python!

    Python 65 57

  2. Chimera

    Shooting Game with Monads and Lenses

    Haskell 10 1

  3. agda-cate

    Category Theory in Agda

    Agda 6

  4. bwitterkuchen

    CUI Twitter Client

    Haskell 4

  5. haskell-minesweeper


    Haskell 4

  6. website


    HTML 3 1

1,133 contributions in the last year

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

Contribution activity

June 2018

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