alexfertel / bulloak
Generate tests based on the Branching Tree Technique.
☆263Updated this week
Related projects ⓘ
Alternatives and complementary repositories for bulloak
- ☆273Updated 3 months ago
- Solidity Package Manager written in rust☆232Updated last week
- ⏳ Core smart contracts of the Sablier V2 token distribution protocol☆311Updated this week
- ☆217Updated last year
- A library of modern, hyper-optimized, and extensible Huff contracts with extensive testing and documentation built by Huff maintainers.☆440Updated 4 months ago
- ⚒️ Start your next Solidity project with Foundry in seconds☆185Updated 3 weeks ago
- Development framework for Foundry projects☆285Updated 2 months ago
- Factory smart contract to make easier and safer usage of the `CREATE` and `CREATE2` EVM opcodes as well as of `CREATE3`-based (i.e. witho…☆345Updated this week
- ERC4626 Property Tests☆175Updated 2 years ago
- A forkable template repo for easily writing and testing toy contracts☆147Updated 9 months ago
- Minimal template to get started with Foundry + Hardhat☆240Updated 2 years ago
- Diff EVM-compatible chains in a friendly format☆281Updated last month
- Generate perfect code headers every time.☆234Updated 6 months ago
- A Foundry Library for compiling, debugging, and working with Huff contracts in Solidity.☆260Updated 4 months ago
- ☆270Updated 5 months ago
- 10 More EVM Puzzles☆172Updated 11 months ago
- Robust, Feature-Rich Solidity Template Repository for Foundry Projects with Scripting, Testing, and Utility Bash Scripts.☆383Updated last year
- Foundry Repository Template that supports writing contracts in Huff using the foundry-huff library.☆211Updated 3 months ago
- ☆229Updated 5 months ago
- Pre-built security properties for common Ethereum operations☆291Updated 3 months ago
- ☆155Updated 10 months ago
- Solidity Code Metrics☆244Updated 4 months ago
- A repo for ERC4626 Interfaces and Utilities☆175Updated last year
- Mutation Testing for Ethereum Smart Contracts, support for Foundry☆115Updated 2 months ago
- Proxy contract to compose Ethereum transactions☆273Updated 2 months ago
- Ethernaut puzzles solved with foundry☆271Updated last year
- These exercises were created for our Advanced Solidity Bootcamp and open sourced. Learn EVM bytecode with the Huff Language.☆378Updated 2 months ago
- A DSL for generating optimal EVM bytecode☆186Updated 2 weeks ago
- Replay and track historical state☆204Updated 4 months ago
- Foundry Test Suit to test weird ERC20 behavior☆237Updated last year