nejucomo/preconditions
Flexible, concise preconditions for python.
Build/test multiple Ethereum contract interactions in a deterministic simulator.
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Flexible, concise preconditions for python.
Run deterministic multi-transaction, multi-contract Ethereum tests - current runner based on go-ethereum EVM.
ETHereum State Test Maker - Generate StateTest specifications from more programmer friendly inputs for deterministic testing of multiple interacting contracts.
A Sappho interpreter written in Rust.