Automates the verification of Solidity tests written using BTT technique
☆19Feb 24, 2026Updated 3 months ago
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.☆351Mar 14, 2026Updated 2 months 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 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- 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☆29Jul 15, 2024Updated last year
- Repository for contracts supporting bridge between Flow <> EVM☆13May 19, 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 2 months ago
- 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.
- Gnosis Safe Tx Service API client & associated tooling☆21Apr 7, 2023Updated 3 years ago
- Monorepo for Sablier's EVM smart contracts including Lockup, Flow, Airdrops, Bob and Utils protocols☆345May 7, 2026Updated 3 weeks ago
- 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
- ☆59Oct 15, 2025Updated 7 months ago
- python implementation of dpack evm packaging format☆18Apr 24, 2024Updated 2 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆19Jul 25, 2023Updated 2 years ago
- Pattern Interrupts to prevent you from signing malicious transactions☆33Jan 5, 2024Updated 2 years ago
- Source for the old OpenZeppelin documentation site☆48Nov 12, 2025Updated 6 months ago
- ☆16May 22, 2026Updated last week
- Convert a Safe smart account to be compatible with Rhinestone Intents and AA SDK☆51Jul 17, 2025Updated 10 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.☆156May 8, 2026Updated 3 weeks ago
- Contango production smart contracts☆18Jun 13, 2024Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Submodules Kill Solidity☆38Aug 18, 2023Updated 2 years ago
- Fuzzing solmate with medusa☆10Aug 14, 2023Updated 2 years ago
- Developer tools for Cadence☆27May 19, 2026Updated last week
- 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
- Collection of past CTFs to play and practice locally.☆54Aug 20, 2024Updated last year
- The good, the bad, and the ugly of proxy implementations☆105Jan 19, 2024Updated 2 years ago
- BNY Data On Chain User Guide☆12Jan 13, 2026Updated 4 months ago