Yoichi Hirai's repositories
awesome-ethereum-virtual-machine
Ethereum Virtual Machine Awesome List
ethereum-formal-verification-overview
The start page about my efforts around smart contract verification
eth-isabelle
A Lem formalization of EVM and some Isabelle/HOL proofs
dry-analyzer
Dr. Y's Ethereum Contract Analyzer
vmtrace_visualizer
A program that annotates a vm trace with dataflow information
ethereum-word-list
Words are Hard: Defining Common Terms in the Ethereum / Crypto Space
verbose-code-reading
Verboselly Logged Code Reading
lifepicker
A randomized activity picker for your 5 minites
salary-nego
Salary negotiation app on the Nexus zkVM
yellowpaper
The "Yellow Paper": Ethereum's formal specification
git-repo-sample
a sample for checking github features
raiden-contracts
Raiden Network Smart Contracts
raiden-libs
Useful tools for Raiden and Auxiliary services
raiden-monitoring-service
Raiden monitoring service
raiden-pathfinding-service
Repo for the Raiden Pathfinding Service
raiden-services
Development of the Raiden Monitoring and Pathfinding Services
taskwarrior
Taskwarrior - Commandline Task Management
test-environment-scripts
A collection of scripts used to bootstrap a test raiden envirnoment. (gist is harder to update)