Skip to content


  • Arctic Code Vault Contributor
  • Pro



Popular repositories

  1. An iPhone-friendly Kalman filter written in C.

    C 267 94

  2. If you want to get better at something, repeating practice alone is not enough. You must practice with increased difficulty and challenge.

    Lean 19 1

  3. A bunch of tools for building card games.

    JavaScript 10 4

  4. Tools for making cryptocurrency stuff

    Go 10 4

  5. It seemed like a waste to not put this up on the internet somewhere.

    HTML 4

1,167 contributions in the last year

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

Contribution activity

October 2020

Created a pull request in leanprover-community/mathlib that received 16 comments

[Merged by Bors] - feat(archive/imo): formalize IMO 1960 problem 1

The problem: Determine all three-digit numbers $N$ having the property that $N$ is divisible by 11, and $\dfrac{N}{11}$ is equal to the sum of the …

+103 −0 16 comments

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

You can’t perform that action at this time.