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