horsefacts / weth-invariant-testing
☆282Updated 9 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
- A Foundry Library for compiling, debugging, and working with Huff contracts in Solidity.☆268Updated 10 months ago
- Foundry Repository Template that supports writing contracts in Huff using the foundry-huff library.☆212Updated 8 months ago
- ☆226Updated 2 years ago
- ⏳ Smart contracts of the Sablier Lockup protocol☆328Updated this week
- Code examples in Yul☆257Updated 8 months ago
- These exercises were created for our Advanced Solidity Bootcamp and open sourced. Learn EVM bytecode with the Huff Language.☆384Updated 8 months ago
- Generate tests based on the Branching Tree Technique.☆323Updated this week
- ERC4626 Property Tests☆178Updated 3 months ago
- A curated list of resources for Huff language☆315Updated last year
- A library of modern, hyper-optimized, and extensible Huff contracts with extensive testing and documentation built by Huff maintainers.☆456Updated 10 months ago
- ☆158Updated last month
- Pre-built security properties for common Ethereum operations☆321Updated 2 weeks ago
- A forkable template repo for easily writing and testing toy contracts☆148Updated last year
- ☆165Updated last year
- A collection of EVM related information.☆332Updated 2 years ago
- ⚒️ Start your next Solidity project with Foundry in seconds☆195Updated last month
- Foundry Test Suit to test weird ERC20 behavior☆238Updated 2 years ago
- Robust, Feature-Rich Solidity Template Repository for Foundry Projects with Scripting, Testing, and Utility Bash Scripts.☆382Updated 2 years ago
- Use cursed ERC20s in foundry unit tests☆145Updated 2 years ago
- This repository contains my Rareskills Solidity Bootcamp work.☆125Updated last year
- Modern collection of testing assertions and logging utilities for Solidity☆183Updated 4 months ago
- Pre-built security properties for commonly forked DeFi protocols☆193Updated last year
- Smart Contract Property-Based Testing Framework☆112Updated last month
- Development framework for Foundry projects☆291Updated 2 weeks ago
- 10 More EVM Puzzles☆170Updated last year
- Resources for the budding field of risk modelling and analysis in DeFi☆156Updated last year
- Merkle Proof Generator and Validator in Solidity☆451Updated 2 months ago
- Diff EVM-compatible chains in a friendly format☆284Updated 2 months ago
- Solidity Code Metrics☆266Updated 5 months ago
- easy POC template generation from the command line☆318Updated last year