Skip to content


  • Arctic Code Vault Contributor




  1. Bamboo see

    OCaml 299 41

  2. A Lem formalization of EVM and some Isabelle/HOL proofs

    Isabelle 211 34

  3. The start page about my efforts around smart contract verification

    258 27

  4. Dr. Y's Ethereum Contract Analyzer

    Coq 38 9

  5. A program that annotates a vm trace with dataflow information

    Ruby 30 2

100 contributions in the last year

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

Contribution activity

September - November 2020

pirapira has no activity yet for this period.

August 2020

Created 2 commits in 1 repository
Created 1 repository

Created a pull request in bedrocksystems/cpp2v that received 5 comments

Fix build

I followed README but the build failed, so I made the following fixes. added the opam package coq-idris-string-ident in README added an @ in front…

+2 −2 5 comments

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

You can’t perform that action at this time.