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 3 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 3 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- 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☆13Jun 11, 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
- 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.
- 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 28, 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 8 months ago
- python implementation of dpack evm packaging format☆18Apr 24, 2024Updated 2 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆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 7 months ago
- ☆16Jun 12, 2026Updated last week
- Convert a Safe smart account to be compatible with Rhinestone Intents and AA SDK☆51Jul 17, 2025Updated 11 months ago
- 🔩 Uniswap v4 base hook that implements v4-like liquidity logic.☆20Aug 17, 2024Updated last year
- Solidity LSP server written in rust☆54Feb 25, 2025Updated last year
- Simulate cross-chain protocols txs, easily.☆156May 8, 2026Updated last month
- Contango production smart contracts☆18Jun 13, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Submodules Kill Solidity☆38Aug 18, 2023Updated 2 years ago
- Fuzzing solmate with medusa☆10Aug 14, 2023Updated 2 years ago
- Developer tools for Cadence☆27Jun 4, 2026Updated 2 weeks 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
- 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☆13Jan 13, 2026Updated 5 months ago