horsefacts / weth-invariant-testing
☆280Updated 6 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
- ☆224Updated last year
- Generate tests based on the Branching Tree Technique.☆290Updated 2 weeks ago
- A library of modern, hyper-optimized, and extensible Huff contracts with extensive testing and documentation built by Huff maintainers.☆446Updated 7 months ago
- A Foundry Library for compiling, debugging, and working with Huff contracts in Solidity.☆263Updated 7 months ago
- ⚒️ Start your next Solidity project with Foundry in seconds☆190Updated this week
- ERC4626 Property Tests☆176Updated 2 weeks ago
- ⏳ Smart contracts of the Sablier Lockup protocol☆326Updated this week
- Pre-built security properties for common Ethereum operations☆305Updated last month
- A forkable template repo for easily writing and testing toy contracts☆147Updated last year
- 10 More EVM Puzzles☆171Updated last year
- Foundry Repository Template that supports writing contracts in Huff using the foundry-huff library.☆212Updated 6 months ago
- ☆163Updated last year
- Foundry Test Suit to test weird ERC20 behavior☆237Updated last year
- These exercises were created for our Advanced Solidity Bootcamp and open sourced. Learn EVM bytecode with the Huff Language.☆382Updated 5 months ago
- Resources for the budding field of risk modelling and analysis in DeFi☆152Updated 9 months ago
- ☆129Updated 8 months ago
- Code examples in Yul☆257Updated 5 months ago
- Ethernaut puzzles solved with foundry☆272Updated last year
- Mutation Testing for Ethereum Smart Contracts, support for Foundry☆120Updated 5 months ago
- This repository contains my Rareskills Solidity Bootcamp work.☆122Updated last year
- A curated list of resources for Huff language☆311Updated last year
- A simple template to perform whitehacks safely☆175Updated last year
- Protocol Development & Upgradability Framework☆229Updated 2 years ago
- Pre-built security properties for commonly forked DeFi protocols☆192Updated last year
- Diff EVM-compatible chains in a friendly format☆284Updated this week
- ☆157Updated last year
- easy POC template generation from the command line☆318Updated last year
- Merkle Proof Generator and Validator in Solidity☆442Updated 2 months ago
- Smart Contract Property-Based Testing Framework☆96Updated last week
- Minimal template to get started with Foundry + Hardhat☆240Updated 2 years ago