horsefacts / weth-invariant-testingLinks
☆282Updated 10 months ago
Alternatives and similar repositories for weth-invariant-testing
Users that are interested in weth-invariant-testing are comparing it to the libraries listed below
Sorting:
- Generate tests based on the Branching Tree Technique.☆327Updated 3 weeks ago
- Foundry Repository Template that supports writing contracts in Huff using the foundry-huff library.☆212Updated 9 months ago
- ☆227Updated 2 years ago
- A Foundry Library for compiling, debugging, and working with Huff contracts in Solidity.☆269Updated 11 months ago
- ERC4626 Property Tests☆180Updated 4 months ago
- Code examples in Yul☆257Updated 9 months ago
- A library of modern, hyper-optimized, and extensible Huff contracts with extensive testing and documentation built by Huff maintainers.☆456Updated 11 months ago
- ⏳ Smart contracts of the Sablier Lockup protocol☆330Updated last week
- ☆165Updated last year
- ⚒️ Start your next Solidity project with Foundry in seconds☆195Updated last week
- These exercises were created for our Advanced Solidity Bootcamp and open sourced. Learn EVM bytecode with the Huff Language.☆385Updated 8 months ago
- Foundry Test Suit to test weird ERC20 behavior☆238Updated 2 years ago
- A curated list of resources for Huff language☆312Updated last year
- 10 More EVM Puzzles☆170Updated last year
- Pre-built security properties for common Ethereum operations☆322Updated last month
- A forkable template repo for easily writing and testing toy contracts☆149Updated last year
- Protocol Development & Upgradability Framework☆232Updated 2 years ago
- ☆158Updated this week
- Modern collection of testing assertions and logging utilities for Solidity☆182Updated 5 months ago
- A Foundry template to compile and test Vyper contracts.☆175Updated 10 months ago
- ☆132Updated 11 months ago
- Smart Contract Property-Based Testing Framework☆112Updated 2 months ago
- This repository contains my Rareskills Solidity Bootcamp work.☆127Updated last year
- Mutation Testing for Ethereum Smart Contracts, support for Foundry☆127Updated 8 months ago
- A collection of EVM related information.☆333Updated 2 years ago
- Merkle Proof Generator and Validator in Solidity☆456Updated 3 months ago
- Diff EVM-compatible chains in a friendly format☆284Updated 3 months ago
- Foundry library for deploying and managing upgradeable contracts☆216Updated 3 weeks ago
- Pre-built security properties for commonly forked DeFi protocols☆197Updated last year
- Ethernaut puzzles solved with foundry☆277Updated 2 years ago