Skip to content


  • Arctic Code Vault Contributor


Block or Report

Popular repositories

  1. The Incredible Proof Machine

    Haskell 276 29

  2. arbtt, the automatic rule-based time-tracker

    Haskell 162 21

  3. Inspection Testing for Haskell

    Haskell 149 17

  4. Let GHC prove program equations for you

    Haskell 144 6

  5. A magic typeclass that just does it

    Haskell 117 3

  6. Hopefully verifiable code generation in GHC

    Haskell 92 6

3,451 contributions in the last year

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

Contribution activity

April 2021

Created 2 repositories

Created a pull request in enzoh/motoko-sha that received 3 comments

Add a failing test case

(caught using quickchecking)

+638 −588 3 comments
Opened 5 other pull requests in 4 repositories
1 merged 1 closed
1 open
1 merged
1 open
Reviewed 8 pull requests in 5 repositories
dfinity/candid 3 pull requests
dfinity/motoko-base 2 pull requests
NixOS/nixpkgs 1 pull request
dfinity/vessel-package-set 1 pull request
dfinity/agent-rs 1 pull request

Created an issue in target/row-types that received 4 comments

Segmentation fault after upgrading to row-types-1.0

Quite late to the party, but it is about time I upgrade to row-types-1.0 I tried to do it, including some cargo-culting around metamorph, but now t…

Opened 6 other issues in 4 repositories
121 contributions in private repositories Apr 1 – Apr 19

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