Skip to content
Avatar
654 followers · 61 following

Achievements

Arctic Code Vault Contributor

Achievements

Arctic Code Vault Contributor

Organizations

@ethereum
Block or Report

Block or report pirapira

Block user

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

You must be logged in to block users.

Report abuse

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

Report abuse

Pinned

  1. bamboo Public

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

    OCaml 312 42

  2. eth-isabelle Public

    A Lem formalization of EVM and some Isabelle/HOL proofs

    Isabelle 223 41

  3. ethereum-formal-verification-overview Public

    The start page about my efforts around smart contract verification

    278 28

  4. record Public

    6 2

  5. dry-analyzer Public

    Dr. Y's Ethereum Contract Analyzer

    Coq 38 10

  6. vmtrace_visualizer Public

    A program that annotates a vm trace with dataflow information

    Ruby 35 6

1 contribution in the last year

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

Contribution activity

April 2022

pirapira has no activity yet for this period.

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