smol-ninja / bulloak-toolchainView external linksLinks
Automates the verification of Solidity tests written using BTT technique
☆19Sep 28, 2025Updated 4 months 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 3 weeks ago
- Generate tests based on the Branching Tree Technique.☆342Jan 14, 2026Updated last month
- A Huff compiler implemented in Racket☆23Mar 7, 2025Updated 11 months ago
- ☆11Aug 4, 2021Updated 4 years ago
- Repository for contracts supporting bridge between Flow <> EVM☆12Feb 10, 2026Updated last week
- A language protocol implementation for Huff☆14Nov 2, 2022Updated 3 years ago
- ☆15Updated this week
- sane NFT fractionalization with no fees or middlemen☆14Feb 10, 2024Updated 2 years ago
- 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
- cheaper storage by the wei☆20Dec 12, 2024Updated last year
- Contango production smart contracts☆19Jun 13, 2024Updated last year
- Gnosis Safe Tx Service API client & associated tooling☆21Apr 7, 2023Updated 2 years ago
- python implementation of dpack evm packaging format☆18Apr 24, 2024Updated last year
- Talk with EVM Bytecode using webLLM☆15Jan 26, 2025Updated last year
- This repo hosts the code for an analysis on Ethereum gas limit.☆18Jan 24, 2024Updated 2 years ago
- gas comparisons between vyper and solady☆20Sep 21, 2024Updated last year
- solidity implementation for brainfuck interpreter☆19Oct 2, 2022Updated 3 years ago
- inscriptions lol☆16Dec 24, 2023Updated 2 years ago
- ☆19Jul 25, 2023Updated 2 years ago
- 🔩 Uniswap v4 base hook that implements v4-like liquidity logic.☆20Aug 17, 2024Updated last year
- Submodules Kill Solidity☆38Aug 18, 2023Updated 2 years ago
- ⏳ Smart contracts of the Sablier Lockup protocol☆343Updated this week
- Solidity calldata, memory, transient storage, and storage debugger☆22Aug 6, 2023Updated 2 years ago
- A template for developing TypeScript project, with sensible defaults☆37Nov 22, 2025Updated 2 months ago
- Source for the OpenZeppelin documentation site☆48Nov 12, 2025Updated 3 months ago
- Examples for Branching Tree Technique, a simple specification framework for writing structured Solidity tests☆75Nov 16, 2023Updated 2 years ago
- GitHub labels to use across repositories☆23Feb 6, 2026Updated last week
- 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.☆24Feb 24, 2025Updated 11 months ago
- ☆55Oct 15, 2025Updated 4 months ago
- A king-of-the-hill style competition, where players optimize gas challenges.☆21Mar 8, 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
- Compares gas usage in Solidity projects using Foundry and comments the changes on the PR☆23Oct 7, 2024Updated last year
- Boostrap energy on the Internet☆15May 26, 2025Updated 8 months ago
- A VSCode extension offering utilities for solidity smart-contract development.☆134Jul 28, 2025Updated 6 months ago
- Fully Decentralized Sybil-Resistant Quadratic Voting System☆19Sep 24, 2022Updated 3 years ago