Skip to content


  • Arctic Code Vault Contributor


  1. Convert any Python 2 file into a single line of code

    Python 1.4k 117

  2. Fun with time travel: Implementing retroactive data structures in Python

    Python 213 11

  3. Trace the path packets take through the Internet, from MIT's servers to any website

    JavaScript 20 13

  4. Interactive quantum circuit simulation

    Python 5 4

  5. To Mock a Mockingbird, formalized in Coq

    Coq 8 1

  6. Interactive organic chemistry practice problems

    Python 1 1

1,436 contributions in the last year

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

Contribution activity

January 2021

9 contributions in private repositories Jan 8 – Jan 15

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

You can’t perform that action at this time.