Smart contract specification language
AGPL-3.0 License
Dapp, Seth, Hevm, and more
Javascript Library used to evaluate natspec expressions
symbolic EVM evaluator
Ewasm Design Overview and Specification
Emerging smart contract language for the Ethereum blockchain.
Loose collection of Solidity example code
SpecOps is a low-level, domain-specific language and compiler for crafting Ethereum VM bytecode. ...
Formal semantics of the yul language
Common tests for the Ethereum proof-of-stake consensus layer
Specification for the Execution Layer. Tracking network upgrades.
Ethereum Proof-of-Stake Consensus Specifications
Tools for Yul.
A minimal implementation of the Polynomial Commitments API for EIP-4844 and EIP-7594, written in C.
Collection of APIs provided by Ethereum execution layer clients
EVM (Ethereum virtual machine) Assembly on Haskell DSL