Automates the verification of Solidity tests written using BTT technique
☆19Feb 24, 2026Updated 7 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
- 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
- Generate tests based on the Branching Tree Technique.☆351Mar 14, 2026Updated 7 months ago
- Protocol☆17Feb 2, 2023Updated 3 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.
- A language protocol implementation for Huff☆14Nov 2, 2022Updated 3 years ago
- Reusable workflows to use in GitHub Actions☆20Oct 9, 2026Updated last week
- inscriptions lol☆16Dec 24, 2023Updated 2 years ago
- A Huff compiler implemented in Racket☆23Mar 7, 2025Updated last year
- Use TSTORE in contracts deployed to multiple chains with varying opcode support☆15Apr 2, 2024Updated 2 years ago
- ☆11Aug 4, 2021Updated 5 years ago
- gas comparisons between vyper and solady☆19Sep 21, 2024Updated 2 years ago
- 🔏 Permit3: One-Click Cross-Chain Token Permissions☆21Jun 25, 2026Updated 3 months ago
- Repository for contracts supporting bridge between Flow <> EVM☆15Aug 25, 2026Updated last month
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Reproduction of the $41M Curve reentrancy hacks on July 30 2023 using on-chain fuzzing with Echidna☆29Jul 15, 2024Updated 2 years ago
- ☆61Oct 15, 2025Updated last year
- An ERC-7579 adapter for Safe accounts, built by Rhinestone and Safe☆55Sep 21, 2026Updated 3 weeks ago
- loop into YES or unwind a baseline credit account☆17Mar 23, 2026Updated 6 months ago
- ☆35Jul 8, 2022Updated 4 years ago
- 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☆354Oct 9, 2026Updated last week
- Examples for Branching Tree Technique, a simple specification framework for writing structured Solidity tests☆76Oct 9, 2026Updated last week
- Solidity calldata, memory, transient storage, and storage debugger☆22Aug 6, 2023Updated 3 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- solidity implementation for brainfuck interpreter☆19Oct 2, 2022Updated 4 years ago
- A king-of-the-hill style competition, where players optimize gas challenges.☆21Mar 8, 2024Updated 2 years ago
- python implementation of dpack evm packaging format☆18Apr 24, 2024Updated 2 years ago
- Permissions for Zodiac Roles covering interactions with DeFi protocols☆35Oct 8, 2026Updated last week
- 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 11 months ago
- ☆19Jul 25, 2023Updated 3 years ago
- 🔩 Uniswap v4 base hook that implements v4-like liquidity logic.☆20Aug 17, 2024Updated 2 years ago
- Simple utility for generating boilerplate Solidity contracts☆34Oct 9, 2026Updated last week
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- A VSCode extension offering utilities for solidity smart-contract development.☆135Jul 28, 2025Updated last year
- Solidity LSP server written in rust☆54Feb 25, 2025Updated last year
- Development Kit for building Smart Account Modules☆80Sep 14, 2026Updated last month
- ERC-3770☆18Jul 9, 2024Updated 2 years ago
- Simulate cross-chain protocols txs, easily.☆156Sep 24, 2026Updated 3 weeks ago
- Contango production smart contracts☆18Jun 13, 2024Updated 2 years ago
- Developer tools for Cadence☆28Aug 24, 2026Updated last month