BSD-2-CLAUSE License
a straightforward library to build, sign, and broadcast ethereum transactions anywhere you can ru...
Emerging smart contract language for the Ethereum blockchain.
Yultsur is a Rust implementation of Yul.
EVMC – Ethereum Client-VM Connector API
Rust implementation of the Ethereum Virtual Machine.
The "Yellow Paper": Ethereum's formal specification
Formal semantics of the yul language
A lightweight ethereum evm bytecode instruction registry, disassembler and evmcode manipulation l...
Fast Ethereum Virtual Machine implementation
symbolic EVM evaluator
EVM (Ethereum virtual machine) Assembly on Haskell DSL
A curated list of awesome Ethereum security references
Complete Ethereum & Celo library and wallet implementation in Rust. https://docs.rs/ethers
Tools for Yul.
Ewasm Design Overview and Specification