Skip to content




  1. Toy language with dependent types.

    Haskell 2

  2. Personal configuration files

    Lua 1

  3. My personal github pages


  4. Fractal images created from regex expressions


1,111 contributions in the last year

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

Contribution activity

July 2020

32 contributions in private repositories Jul 1 – Jul 10

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

You can’t perform that action at this time.