Skip to content





  1. Study of the Wizard Book.


  2. Formalization of proofs from Analysis I in the Coq and Lean.

    Lean 7

  3. The preferred Scheme interpreter of Eva Lu Ator.

    C 1

  4. Web app that renders fractal curves.

    Go 2

  5. A simple and elegant ray tracer.

    Haskell 12 1

  6. Just another Minecraft clone.

    Java 18 6

591 contributions in the last year

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

Contribution activity

April 2021

mk12 has no activity yet for this period.

March 2021

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