Skip to content


  1. My personal website


  2. Configurations for my NixOS systems

    Shell 2

  3. AWS Lambda function written in Haskell. If you write your wife a code, she lets you do it more often.


  4. A high performance distributed in-browser fractal renderer written in rust

    Rust 1

  5. Forked from ghc/ghc

    This repo exists solely to show off the work I've done over my 2017 Haskell Summer of Code internship. I worked on the performance testsuite using the wip/perf-testsuite branch. More details can be…


460 contributions in the last year

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

Contribution activity

July 2020

Created a pull request in GaloisInc/cryptol that received 1 comment

Actions/fix cvc4 install

(This is a separate PR just to test things out without clobbering over Rob's work)

+9 −9 1 comment

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

You can’t perform that action at this time.