Skip to content
View pirapira's full-sized avatar
774 followers · 64 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Starstruckx3Achievement: Pull Sharkx4

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Starstruckx3Achievement: Pull Sharkx4

Organizations

@ethereum

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse

Pinned Loading

  1. bamboo Public

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

    OCaml 323 40

  2. eth-isabelle Public

    A Lem formalization of EVM and some Isabelle/HOL proofs

    Isabelle 240 42

  3. ethereum-formal-verification-overview Public

    The start page about my efforts around smart contract verification

    299 26

  4. record Public

    6 2

  5. dry-analyzer Public

    Dr. Y's Ethereum Contract Analyzer

    Coq 42 10

  6. vmtrace_visualizer Public

    A program that annotates a vm trace with dataflow information

    Ruby 35 6

Rate limit · GitHub

Whoa there!

You have exceeded a secondary rate limit.

Please wait a few minutes before you try again;
in some cases this may take up to an hour.