Skip to content
Avatar
639 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 308 41

  2. eth-isabelle Public

    A Lem formalization of EVM and some Isabelle/HOL proofs

    Isabelle 221 40

  3. ethereum-formal-verification-overview Public

    The start page about my efforts around smart contract verification

    272 27

  4. record Public

    6 1

  5. dry-analyzer Public

    Dr. Y's Ethereum Contract Analyzer

    Coq 38 9

  6. vmtrace_visualizer Public

    A program that annotates a vm trace with dataflow information

    Ruby 34 5

1 contribution in the last year

Jan 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 2022

pirapira has no activity yet for this period.

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