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