BSD-2-CLAUSE License
a straightforward library to build, sign, and broadcast ethereum transactions anywhere you can ru...
EVMC – Ethereum Client-VM Connector API
A lightweight ethereum evm bytecode instruction registry, disassembler and evmcode manipulation l...
Guidelines and training material to write secure smart contracts
symbolic EVM evaluator
The "Yellow Paper": Ethereum's formal specification
Fast Ethereum Virtual Machine implementation
Formal semantics of the yul language
Yultsur is a Rust implementation of Yul.
An opinionated, spec-compliant, optimized version of Optimism's contracts-bedrock package.
Emerging smart contract language for the Ethereum blockchain.
A curated list of awesome Ethereum security references
evm inception: the evm inside the evm via yul and solidity
Tools for Yul.