Tag
8 repositories
MEV Bot and Flashbots Bundler written in q using kdb+
A Nodemon kind of experience with hardhat.
Foundryup Extended for Foundry
ERC Properties for Formal Verification using hevm
hardhat console, dapptools hevm, assert and other testing contracts
symbolic evm in typescript
A contract development SDK to speed up testing, and hardhat related workflows.
Subscriber view
Already a subscriber? Sign in with the same email used at checkout.