Skip to content


  • Arctic Code Vault Contributor


  1. Modular reimplementation of the expert iteration method described in the AlphaGo Zero paper.

    Python 6 2

  2. Notebooks implementing CNNs and RNNs in TensorFlow

    Jupyter Notebook

  3. Web app to track and display troop movements in an artificial military conflict, written in Go, JS and Postgres.

    JavaScript 1

  4. A very WIP Haskell to LLVM compiler.


  5. Coq proof of correctness of the Separate Compilation Assumption


527 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

Created a pull request in sourcegraph/sourcegraph that received 7 comments

Opened 6 other pull requests in 4 repositories
Reviewed 5 pull requests in 3 repositories

Created an issue in sourcegraph/sourcegraph that received 4 comments

code intel: link completed index jobs to their successful lsif_uploads

Right now the code intel auto indexer won't leave any record of which index runs correspond to which lsif uploads, so the backend has no way to kno…

Started 1 discussion in 1 repository
3 contributions in private repositories Jan 13

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

You can’t perform that action at this time.