Skip to content


  • Arctic Code Vault Contributor
  • Pro


  1. Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.

    OCaml 9

  2. Direct Manipulation Programming for HTML/SVG

    Elm 479 35

  3. The Wyvern programming language.

    Java 509 65

  4. The Shards of Mt. Lampora: Platforming with Modular Music in Elm


  5. Fractastic is a simple and approachable fractal generator written in C.

    C 15 3

  6. My dotfiles.


823 contributions in the last year

Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Jan Mon Wed Fri
Activity overview
Contributed to UChicago-PL/smyth, justinlubin/homepage, kwf/shutdown-pl and 5 other repositories

Contribution activity

January 2021

Created 1 repository
6 contributions in private repositories Jan 20 – Jan 22

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