Pinned Repositories
awesome-ethereum-virtual-machine
Ethereum Virtual Machine Awesome List
bamboo
Bamboo see https://github.com/cornellblockchain/bamboo
coq2rust
Coq to Rust program extraction. The whole tree is on the original Coq code base.
dry-analyzer
Dr. Y's Ethereum Contract Analyzer
eth-isabelle
A Lem formalization of EVM and some Isabelle/HOL proofs
ethereum-formal-verification-overview
The start page about my efforts around smart contract verification
evmverif
An EVM code verification framework in Coq
fp-ethereum
Functional Programming for Ethereum: Intro and Resources
record
vmtrace_visualizer
A program that annotates a vm trace with dataflow information
pirapira's Repositories
pirapira/awesome-ethereum-virtual-machine
Ethereum Virtual Machine Awesome List
pirapira/bamboo
Bamboo see https://github.com/cornellblockchain/bamboo
pirapira/ethereum-formal-verification-overview
The start page about my efforts around smart contract verification
pirapira/eth-isabelle
A Lem formalization of EVM and some Isabelle/HOL proofs
pirapira/dry-analyzer
Dr. Y's Ethereum Contract Analyzer
pirapira/vmtrace_visualizer
A program that annotates a vm trace with dataflow information
pirapira/ethereum-word-list
Words are Hard: Defining Common Terms in the Ethereum / Crypto Space
pirapira/record
pirapira/verbose-code-reading
Verboselly Logged Code Reading
pirapira/lifepicker
A randomized activity picker for your 5 minites
pirapira/pirapira.github.io
pirapira/salary-nego
Salary negotiation app on the Nexus zkVM
pirapira/yellowpaper
The "Yellow Paper": Ethereum's formal specification
pirapira/base
Standard library for OCaml
pirapira/cedille
Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
pirapira/cpp2v
Formalization of C++ for verification purposes.
pirapira/git-repo-sample
a sample for checking github features
pirapira/k
K Framework Tools 5.0
pirapira/raiden
Raiden Network
pirapira/raiden-contracts
Raiden Network Smart Contracts
pirapira/raiden-libs
Useful tools for Raiden and Auxiliary services
pirapira/raiden-monitoring-service
Raiden monitoring service
pirapira/raiden-pathfinding-service
Repo for the Raiden Pathfinding Service
pirapira/raiden-services
Development of the Raiden Monitoring and Pathfinding Services
pirapira/scenario-player
pirapira/snarky
OCaml DSL for verifiable computation
pirapira/spec
Spec of the Raiden Network protocol
pirapira/taskwarrior
Taskwarrior - Commandline Task Management
pirapira/test-environment-scripts
A collection of scripts used to bootstrap a test raiden envirnoment. (gist is harder to update)
pirapira/verisol
A formal verifier and analysis tool for Solidity Smart Contracts