symbolic EVM evaluator
AGPL-3.0 License
A Python framework and collection of test cases to generate test vectors for Ethereum execution c...
Emerging smart contract language for the Ethereum blockchain.
Devpill.me - A Public Good Blockchain Development Guide
Devnet, bundler and LSP for Solidity and TypeScript that runs in the browser
Heimdall is an advanced EVM smart contract toolkit specializing in bytecode analysis and extracti...
Run arbitrary code on the EVM
A curated list of awesome Ethereum security references
Smart contract specification language
Fast Ethereum Virtual Machine implementation
Loose collection of Solidity example code
Common tests for all Ethereum implementations
EVMC – Ethereum Client-VM Connector API
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development writ...
This is an example of implementation in solidity language of an ERC-20 standard Ethereum Token, m...
testeth via RPC. Test run, generation by t8ntool protocol