Skip to content
Avatar
  • Block or report user

    Block or report pirapira

    Block user

    Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

    Report abuse

    Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

    Report abuse
598 followers · 61 following · 73

Highlights

  • Arctic Code Vault Contributor

Organizations

@ethereum

Pinned

  1. bamboo

    Bamboo see https://github.com/cornellblockchain/bamboo

    OCaml 300 42

  2. eth-isabelle

    A Lem formalization of EVM and some Isabelle/HOL proofs

    Isabelle 213 35

  3. ethereum-formal-verification-overview

    The start page about my efforts around smart contract verification

    262 27

  4. record

    6 1

  5. dry-analyzer

    Dr. Y's Ethereum Contract Analyzer

    Coq 38 8

  6. vmtrace_visualizer

    A program that annotates a vm trace with dataflow information

    Ruby 30 3

75 contributions in the last year

Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Jan Mon Wed Fri
Learn how we count contributions.
Less
More

Contribution activity

January 2021

Created 2 commits in 1 repository

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