Automates the verification of Solidity tests written using BTT technique
☆19Feb 24, 2026Updated 2 weeks ago
Alternatives and similar repositories for bulloak-toolchain
Users that are interested in bulloak-toolchain are comparing it to the libraries listed below
Sorting:
- Repositery to show case the recent thirdweb exploit that raised due to using openzeppelin ERC2771 implementation with a multi call.☆17Dec 12, 2023Updated 2 years ago
- Protocol☆18Feb 2, 2023Updated 3 years ago
- Reusable workflows to use in GitHub Actions☆20Jan 20, 2026Updated last month
- Generate tests based on the Branching Tree Technique.☆343Feb 28, 2026Updated last week
- A Huff compiler implemented in Racket☆23Mar 7, 2025Updated last year
- ☆11Aug 4, 2021Updated 4 years ago
- A language protocol implementation for Huff☆14Nov 2, 2022Updated 3 years ago
- Repository for contracts supporting bridge between Flow <> EVM☆12Updated this week
- sane NFT fractionalization with no fees or middlemen☆14Feb 10, 2024Updated 2 years ago
- ☆16Updated this week
- Reproduction of the $41M Curve reentrancy hacks on July 30 2023 using on-chain fuzzing with Echidna☆28Jul 15, 2024Updated last year
- loop into YES or unwind a baseline credit account☆17Jun 9, 2024Updated last year
- Contango production smart contracts☆19Jun 13, 2024Updated last year
- This repo hosts the code for an analysis on Ethereum gas limit.☆18Jan 24, 2024Updated 2 years ago
- cheaper storage by the wei☆20Dec 12, 2024Updated last year
- gas comparisons between vyper and solady☆20Sep 21, 2024Updated last year
- Talk with EVM Bytecode using webLLM☆15Jan 26, 2025Updated last year
- python implementation of dpack evm packaging format☆18Apr 24, 2024Updated last year
- Gnosis Safe Tx Service API client & associated tooling☆21Apr 7, 2023Updated 2 years ago
- solidity implementation for brainfuck interpreter☆19Oct 2, 2022Updated 3 years ago
- inscriptions lol☆16Dec 24, 2023Updated 2 years ago
- 🔩 Uniswap v4 base hook that implements v4-like liquidity logic.☆20Aug 17, 2024Updated last year
- ☆19Jul 25, 2023Updated 2 years ago
- Submodules Kill Solidity☆38Aug 18, 2023Updated 2 years ago
- ⏳ Smart contracts of the Sablier Lockup protocol☆345Updated this week
- A template for developing TypeScript project, with sensible defaults☆36Nov 22, 2025Updated 3 months ago
- Solidity calldata, memory, transient storage, and storage debugger☆22Aug 6, 2023Updated 2 years ago
- Source for the OpenZeppelin documentation site☆48Nov 12, 2025Updated 3 months ago
- GitHub labels to use across repositories☆24Feb 6, 2026Updated last month
- Examples for Branching Tree Technique, a simple specification framework for writing structured Solidity tests☆75Nov 16, 2023Updated 2 years ago
- Convert a Safe smart account to be compatible with Rhinestone Intents and AA SDK☆49Jul 17, 2025Updated 7 months ago
- The smart contracts for the Folks Finance Cross-Chain Lending Protocol.☆24Updated this week
- ☆56Oct 15, 2025Updated 4 months ago
- AlignmentVault is a composable primitive that allows any contract or EOA to permanently allocate ETH to deepening the liquidity of a targ…☆27Nov 22, 2024Updated last year
- Compares gas usage in Solidity projects using Foundry and comments the changes on the PR☆23Oct 7, 2024Updated last year
- A king-of-the-hill style competition, where players optimize gas challenges.☆21Mar 8, 2024Updated 2 years ago
- A VSCode extension offering utilities for solidity smart-contract development.☆134Jul 28, 2025Updated 7 months ago
- Developer tools for Cadence☆26Feb 19, 2026Updated 2 weeks ago
- An apples-to-oranges comparison of Solady's `FixedPointMathLib.mulDiv` function vs. an equivalent Huffidity version☆28Mar 9, 2023Updated 3 years ago