Skip to content


  • Arctic Code Vault Contributor


@diagonalcat @recursecenter @monic-co


  1. SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

    Haskell 94 11

  2. The Pact Smart Contract Language

    Haskell 342 46

  3. A permissioned implementation of Ethereum supporting data privacy

    Go 3.8k 1k

  4. An implementation of Ben Lippmeier's "Don't Substitute Into Abstractions"

    Haskell 6

  5. Tools for running Quorum clusters and integration tests

    Haskell 49 33

  6. Haskell client for the Nylas web API

    Haskell 1

48 contributions in the last year

Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Mon Wed Fri
Activity overview
Contributed to kadena-io/pact, realworldocaml/book, graalvm/graaljs and 4 other repositories

Contribution activity

July - August 2020

bts has no activity yet for this period.

June 2020

Created a pull request in realworldocaml/book that received 1 comment

Add missing commas

Hi there, Thanks for the great book! I added some commas where they were needed: libraries tools and techniques but also made a judgement call an…

+2 −2 1 comment

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

You can’t perform that action at this time.