Sitelet https://web.archive.org/web/20201127041759/https://github.com/pirapira
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
593 followers · 61 following · 73

Highlights

  • Arctic Code Vault Contributor

Organizations

@ethereum

Pinned

  1. bamboo

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

    OCaml 299 41

  2. eth-isabelle

    A Lem formalization of EVM and some Isabelle/HOL proofs

    Isabelle 211 34

  3. ethereum-formal-verification-overview

    The start page about my efforts around smart contract verification

    258 27

  4. record

    6 1

  5. dry-analyzer

    Dr. Y's Ethereum Contract Analyzer

    Coq 38 9

  6. vmtrace_visualizer

    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
Learn how we count contributions.
Less
More

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.