MEV Bot and Flashbots Bundler written in q using kdb+

Easy to use Hevm cheatcodes contract

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

Formal verification effort for proving the ABDK Math 64.64 library properties using Echidna/hevm/Certora

symbolic evm in typescript

Dockerfile for building an image pre-installed and pre-configured with essential EVM security tools

No description provided.

A contract development SDK to speed up testing, and hardhat related workflows.

hevm + hardhat console + etc