horsefacts / weth-invariant-testing
☆281Updated 8 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
- ☆225Updated last year
- Generate tests based on the Branching Tree Technique.☆316Updated last month
- Code examples in Yul☆258Updated 7 months ago
- A forkable template repo for easily writing and testing toy contracts☆147Updated last year
- Foundry Repository Template that supports writing contracts in Huff using the foundry-huff library.☆212Updated 7 months ago
- A Foundry Library for compiling, debugging, and working with Huff contracts in Solidity.☆266Updated 8 months ago
- A curated list of resources for Huff language☆313Updated last year
- ⏳ Smart contracts of the Sablier Lockup protocol☆327Updated this week
- A library of modern, hyper-optimized, and extensible Huff contracts with extensive testing and documentation built by Huff maintainers.☆451Updated 9 months ago
- ERC4626 Property Tests☆178Updated last month
- A collection of EVM related information.☆330Updated 2 years ago
- Foundry Test Suit to test weird ERC20 behavior☆238Updated 2 years ago
- Ethernaut puzzles solved with foundry☆274Updated last year
- ☆164Updated last year
- These exercises were created for our Advanced Solidity Bootcamp and open sourced. Learn EVM bytecode with the Huff Language.☆383Updated 6 months ago
- Development framework for Foundry projects☆291Updated 6 months ago
- This repository contains my Rareskills Solidity Bootcamp work.☆124Updated last year
- Diff EVM-compatible chains in a friendly format☆285Updated last month
- Modern collection of testing assertions and logging utilities for Solidity☆181Updated 3 months ago
- ⚒️ Start your next Solidity project with Foundry in seconds☆191Updated this week
- Resources for the budding field of risk modelling and analysis in DeFi☆156Updated 11 months ago
- Mutation Testing for Ethereum Smart Contracts, support for Foundry☆123Updated 6 months ago
- 10 More EVM Puzzles☆170Updated last year
- ☆130Updated 9 months ago
- Pre-built security properties for commonly forked DeFi protocols☆192Updated last year
- ☆157Updated this week
- Protocol Development & Upgradability Framework☆230Updated 2 years ago
- Smart Contract Property-Based Testing Framework☆109Updated last week
- Pre-built security properties for common Ethereum operations☆311Updated 2 months ago
- Foundry library for deploying and managing upgradeable contracts☆209Updated last month