Mate Soos @ Ethereum Foundation's repositories
benchmark-submission
Repository for the submission of SMT-LIB benchmarks for the 2024 release.
blog
Blog post ideas
000
doalarm
doalarm tool to send ALARM signal after a certain wallclock time
Language:CGPL-2.0000
FuzzyVM
Implementation of a differential fuzzer for Ethereum Virtual Machines
Language:GoLGPL-2.1000
hevm-result-test-contracts
Contracts to test FAIL/PASS/BAIL behaviours of hevm
nixpkgs
Nix Packages collection
Language:NixMIT000