Automates the verification of Solidity tests written using BTT technique
☆19Feb 24, 2026Updated last month
Alternatives and similar repositories for bulloak-toolchain
Users that are interested in bulloak-toolchain are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
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
- Generate tests based on the Branching Tree Technique.☆348Mar 14, 2026Updated 2 weeks ago
- Protocol☆18Feb 2, 2023Updated 3 years ago
- A language protocol implementation for Huff☆14Nov 2, 2022Updated 3 years ago
- Reusable workflows to use in GitHub Actions☆20Mar 13, 2026Updated 2 weeks ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- inscriptions lol☆16Dec 24, 2023Updated 2 years ago
- gas comparisons between vyper and solady☆20Sep 21, 2024Updated last year
- A Huff compiler implemented in Racket☆22Mar 7, 2025Updated last year
- ☆11Aug 4, 2021Updated 4 years ago
- Reproduction of the $41M Curve reentrancy hacks on July 30 2023 using on-chain fuzzing with Echidna☆28Jul 15, 2024Updated last year
- Repository for contracts supporting bridge between Flow <> EVM☆13Mar 23, 2026Updated last week
- This repo hosts the code for an analysis on Ethereum gas limit.☆18Jan 24, 2024Updated 2 years ago
- sane NFT fractionalization with no fees or middlemen☆14Feb 10, 2024Updated 2 years ago
- loop into YES or unwind a baseline credit account☆17Mar 23, 2026Updated last week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Gnosis Safe Tx Service API client & associated tooling☆21Apr 7, 2023Updated 2 years ago
- Monorepo for Sablier's EVM smart contracts including Lockup, Flow, Airdrops, Bob and Utils protocols☆346Updated this week
- cheaper storage by the wei☆20Dec 12, 2024Updated last year
- solidity implementation for brainfuck interpreter☆19Oct 2, 2022Updated 3 years ago
- A king-of-the-hill style competition, where players optimize gas challenges.☆21Mar 8, 2024Updated 2 years ago
- Examples for Branching Tree Technique, a simple specification framework for writing structured Solidity tests☆76Nov 16, 2023Updated 2 years ago
- Solidity calldata, memory, transient storage, and storage debugger☆22Aug 6, 2023Updated 2 years ago
- ☆56Oct 15, 2025Updated 5 months ago
- python implementation of dpack evm packaging format☆18Apr 24, 2024Updated last year
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- ☆19Jul 25, 2023Updated 2 years ago
- Pattern Interrupts to prevent you from signing malicious transactions☆32Jan 5, 2024Updated 2 years ago
- Source for the OpenZeppelin documentation site☆48Nov 12, 2025Updated 4 months ago
- ☆16Updated this week
- Convert a Safe smart account to be compatible with Rhinestone Intents and AA SDK☆49Jul 17, 2025Updated 8 months ago
- 🔩 Uniswap v4 base hook that implements v4-like liquidity logic.☆20Aug 17, 2024Updated last year
- Solidity LSP server written in rust☆55Feb 25, 2025Updated last year
- Simulate cross-chain protocols txs, easily.☆153Jun 19, 2025Updated 9 months ago
- Contango production smart contracts☆19Jun 13, 2024Updated last year
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Fuzzing solmate with medusa☆10Aug 14, 2023Updated 2 years ago
- Submodules Kill Solidity☆38Aug 18, 2023Updated 2 years ago
- Developer tools for Cadence☆26Updated this week
- Collection of past CTFs to play and practice locally.☆54Aug 20, 2024Updated last year
- 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
- The good, the bad, and the ugly of proxy implementations☆104Jan 19, 2024Updated 2 years ago
- BNY Data On Chain User Guide☆12Jan 13, 2026Updated 2 months ago