teddav / ethernaut-yulLinks
☆38Updated 2 years ago
Alternatives and similar repositories for ethernaut-yul
Users that are interested in ethernaut-yul are comparing it to the libraries listed below
Sorting:
- ☆43Updated last year
- ☆81Updated 2 years ago
- ☆70Updated last year
- Solidity static analyzer☆82Updated last year
- ☆52Updated 2 years ago
- unhacked challenge 1: reaper☆41Updated 2 years ago
- ☆65Updated 2 years ago
- ☆63Updated 2 years ago
- A mostly mostly reasonable approach to Huff styling.☆80Updated last year
- Codegen pretty-printing and deep equality Solidity functions for the Forge testing framework☆65Updated 2 years ago
- A Foundry template to compile and test Huff contracts.☆52Updated 2 years ago
- ☆50Updated 2 years ago
- Example code for testing using Echidna explained during the Spearbit presentation☆40Updated 2 years ago
- ☆51Updated last year
- The goal of this project is to automatically generate stack comments for huff macros☆50Updated last year
- A mostly mostly reasonable approach to inline Yul styling.☆30Updated last year
- ☆76Updated 2 years ago
- ☆44Updated 7 months ago
- Solidity By Example rewritten in Huff, the most based low-level EVM language.☆34Updated last year
- Blazingly fast function selector miner written in Rust.☆79Updated 2 years ago
- Formally verifying consistency between Solmate and Solady using Halmos☆54Updated 9 months ago
- Gas Golfing using Huff and Yul☆82Updated 2 years ago
- ☆58Updated last year
- ☆67Updated last year
- Testing echidna vs. forge fuzzing☆76Updated 2 years ago
- Flashloan-proof Uniswap v3 price-out-of-range oracle for querying if a position is out of range onchain☆50Updated last year
- GasBad is an open-source project that evaluates gas efficiency in Solidity libraries☆68Updated 11 months ago
- The world most gas efficient AMM implementation written in Huff based on Uniswap V1 implementation☆49Updated 2 years ago
- Minimal repo for Foundry examples and reproducing bugs in Foundry☆46Updated 2 years ago
- Execute programs from forge with an open 2-way communication channel between both☆57Updated last year