Formal semantics of the yul language
AGPL-3.0 License
A Python framework and collection of test cases to generate test vectors for Ethereum execution c...
Guidelines and training material to write secure smart contracts
The Ethereum Improvement Proposal repository
Smart contract specification language
Formal verification blog
An opinionated, spec-compliant, optimized version of Optimism's contracts-bedrock package.
a straightforward library to build, sign, and broadcast ethereum transactions anywhere you can ru...
Tools for Yul.
evm inception: the evm inside the evm via yul and solidity
Emerging smart contract language for the Ethereum blockchain.
Yultsur is a Rust implementation of Yul.
A minimal implementation of the Polynomial Commitments API for EIP-4844 and EIP-7594, written in C.
Solidity, the Smart Contract Programming Language