Skip to content


  • Arctic Code Vault Contributor




  1. A pure-Rust library to read and write OpenSSH public keys

    Rust 14 6

  2. A foray into Lindenmayer Systems programming

    Python 5 1

  3. DemOS, Demos's OS

    Rust 4

  4. experimenting with cellular automata representations in haskell


  5. A one-shot cloud provider agent

    Rust 107 69

  6. formalization of type inference using rewriting

    Coq 1

6 contributions in the last year

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

Contribution activity

November 2020

Created 1 commit in 1 repository
Created 1 repository

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

You can’t perform that action at this time.