smol-ninja / bulloak-toolchain
Automates the verification of Solidity tests written using BTT technique
☆18Updated 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
- a little foundry template that shows how to use anvil to run gas benchmarks☆33Updated last year
- Optimized, in-memory, memory safe data structures written in Solidity.☆36Updated last year
- Curve style voting escrow (ve) Uniswap v4 hook contract☆24Updated last year
- This repo contains smart contract to perform basic arithmetic operations implemented using Huff☆24Updated 9 months ago
- ☆43Updated last year
- A visual studio code extension that automatically generate the stack comments for Huff.☆26Updated last year
- Secp256k1 Elliptic Curve Library Written In Huff☆5Updated last year
- Uniswap V4 Huff Hooks☆40Updated last year
- A barebones framework for hand tuned smart contracts in pure opcodes.☆47Updated 2 years ago
- Arbitrage liquidity pools across two different AMMs with flashloans☆19Updated 3 years ago
- Huff Implementation of VRGDAs☆41Updated 2 years ago
- An EVM low-level language that gives full control over the control flow of the smart contract.☆26Updated 6 months ago
- Huffidity, but let's you jump back to Solidity runtime execution from Huff runtime execution.☆32Updated last year
- A template for projects writting smart contracts that use vulcan for testing☆30Updated last year
- clones-with-immutable-args by wighawag written in Huff.☆27Updated 2 years ago
- Solidity calldata, memory, transient storage, and storage debugger☆20Updated last year
- Starport is a kernel for building lending protocols☆24Updated 8 months ago
- gas comparisons between vyper and solady☆20Updated 4 months ago
- Submodules Kill Solidity☆37Updated last year
- A port of the weiroll vm in huff☆27Updated 2 years ago
- Example code for testing using Echidna explained during the Spearbit presentation☆40Updated 2 years ago
- 🔩 Uniswap v4 base hook that implements v4-like liquidity logic.☆19Updated 5 months ago
- Mine addresses for UniswapV4 Hooks☆39Updated last year
- Compares gas usage in Solidity projects using Foundry and comments the changes on the PR☆23Updated 3 months ago
- Example code for testing using Echidna explained during the Spearbit presentation☆32Updated 2 years ago
- ☆29Updated last year
- ☆63Updated last year
- Extensive Tests with the Forge Standard Library,☆20Updated 2 years ago
- solidity compression utility☆19Updated 3 months ago
- A library to assist with handling sparse arrays in storage.☆26Updated 2 years ago