Skip to content


  • Arctic Code Vault Contributor
  • Pro




  1. A free-range, non-GMO fork of busybox in 100% Rust 🦀

    Rust 614 24

  2. Code for "oi-VAE: Output Interpretable VAEs for Nonlinear Group Factor Analysis"

    Python 21 4

  3. A bidirectional type checker

    Haskell 5

  4. chmod for human beings! 💁‍♀️

    JavaScript 20 1

  5. The Diverse Particle Max-Product algorithm and friends

    Python 1

  6. Source code for "Mo′ States Mo′ Problems: Emergency Stop Mechanisms from Observation"

    Python 3

844 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 repository

Created a pull request in NixOS/nixpkgs that received 10 comments

slack: add auto-updater script

Motivation for this change Save hooman time by spending computer time. This will enable adding slack to T…

+56 −4 10 comments

Created an issue in haskell/ghcide that received 1 comment

Error opening ghcide project in VSCode with the ghcide/haskell extension installed

I just installed the official VSCode ghcide/haskell extension, cloned the ghcide repo, and then tried opening src/Development/IDE.hs. The issue rep…

1 comment
Opened 1 other issue in 1 repository
1 open

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

You can’t perform that action at this time.