PaulRBerg / btt-examples
Examples for Branching Tree Technique, a simple specification framework for writing structured Solidity tests
☆73Updated last year
Alternatives and similar repositories for btt-examples:
Users that are interested in btt-examples are comparing it to the libraries listed below
- Solidity snippets too edgy to be in Solady☆111Updated 5 months ago
- Foundry + Yul template☆94Updated last year
- Console.log utility for debugging huff contracts☆66Updated last year
- ☆70Updated last year
- ☆64Updated 11 months ago
- ☆35Updated last year
- Optimised Uniswap V2 contracts written in Huff language☆111Updated 9 months ago
- Solidity library offering linspace, arange, and logspace methods to generate evenly spaced arrays.☆122Updated last year
- Diagrams for Solidity contracts☆45Updated 11 months ago
- The most optimized ERC20 & Wrapped Ether implementation.☆144Updated last year
- A Solidity library for transient storage management ✨☆58Updated 2 weeks ago
- Forge Snippets for VS Code☆64Updated last year
- List of Halmos resources.☆53Updated last week
- Codegen pretty-printing and deep equality Solidity functions for the Forge testing framework☆65Updated last year
- Minimal repo for Foundry examples and reproducing bugs in Foundry☆46Updated 2 years ago
- 👃Automatically identify missing or incomplete natspec☆93Updated 3 weeks ago
- A forkable template repo for easily writing and testing toy contracts☆57Updated this week
- A collection of useful bash scripts for ChainOps and more☆84Updated 2 years ago
- ☆115Updated 3 months ago
- Exercises for the Yield 2022 Mentorship progam☆61Updated 2 years ago
- Most simple design of a stablecoin.☆52Updated 2 months ago
- ☆101Updated last year
- A VSCode extension offering utilities for solidity smart-contract development.☆128Updated 5 months ago
- Standard way to simulate governance actions from a timelock, multisig, or DAO.☆65Updated 4 months ago
- ☆76Updated 6 months ago
- ☆81Updated 2 years ago
- An opinionated template for Foundry projects.☆74Updated 8 months ago
- Blazingly fast function selector miner written in Rust.☆78Updated last year
- Permissionless onchain exploit bounties tied to a circuit breaker☆42Updated 11 months ago
- 📖 A curated list of resources dedicated to Modular Smart Accounts☆71Updated 6 months ago