DappTools has been the silent backbone of Ethereum's core smart contract projects since the very beginning. Notable users include MakerDAO, the ETH2 Deposit Contract, RAI, Fractional, and Tinlake. The project has been around for nearly 5 years and Martin/David continue to maintain it and push the boundaries of formal verification and fuzzing of smart contracts. HEVM has provided one of the simplest ways to break into formal verification via the `hevm symbolic` feature and their evm implementation serves as the backend for widely relied upon tools like Echidna. We owe (at least in part) much of Ethereum's core tooling and infrastructure to DappTools, so it only makes sense to reward them for their work and fund their continued development.