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