Skip to content


  • Arctic Code Vault Contributor



Popular repositories

  1. Arimaa bot

    Haskell 7

  2. Implementation of my functional, lazy evaluated programming language with syntax inspired by LISP.

    C 3

  3. My old math/CS notes. (Warning: some notes are written in Czech)

    TeX 1

  4. Small programmes I wrote during my student years, either as a student project or as a useful tool. Warning: Most of the documentation is written in Czech.

    Java 1

945 contributions in the last year

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

Contribution activity

March 2021

4 contributions in private repositories Mar 1 – Mar 2

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