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