danhper / eclair
A Solidity interpreter
☆66Updated 3 weeks ago
Alternatives and similar repositories for eclair:
Users that are interested in eclair are comparing it to the libraries listed below
- ☆91Updated 9 months ago
- Solidity snippets too edgy to be in Solady☆112Updated 6 months ago
- Solidity static analyzer☆83Updated last year
- Console.log utility for debugging huff contracts☆66Updated last year
- List of Halmos resources.☆53Updated 2 weeks ago
- Scaling Ethereum, but this time in rust.☆89Updated last year
- A mostly mostly reasonable approach to Huff styling.☆79Updated last year
- ☆70Updated last year
- The most optimized ERC20 & Wrapped Ether implementation.☆144Updated last year
- ☆98Updated last year
- 2nd place at Huffathon 2023. Optimized token mixer for Ethereum utilizing zkSNARKs. 500% cheaper than Tornado cash☆78Updated last year
- 🔐 Protect your Smart Contract Proxy from storage collisions upon upgrading, by running this action in a CI on each of your Pull Requests…☆95Updated last month
- Generating Inputs for OZ's MultiProof and SingleProof☆37Updated 3 months ago
- ☆90Updated last year
- GasBad is an open-source project that evaluates gas efficiency in Solidity libraries☆66Updated 8 months ago
- Examples for Branching Tree Technique, a simple specification framework for writing structured Solidity tests☆74Updated last year
- A Solidity library for transient storage management ✨☆58Updated last month
- ☆95Updated last year
- ☆76Updated 2 years ago
- A mostly mostly reasonable approach to inline Yul styling.☆30Updated 10 months ago
- ☆64Updated last year
- Symbolic execution engine written in Solidity, based on Difference Logic.☆111Updated 2 years ago
- ☆58Updated last year
- Walkthroughs to leverage Odyssey's features from the future.☆85Updated 2 months ago
- ☆65Updated this week
- ☆43Updated last year
- Testing echidna vs. forge fuzzing☆75Updated 2 years ago
- e=vm² (pronounced evm-squared; the = is silent) is an evm that runs inside evm.☆91Updated 2 years ago
- Blazingly fast function selector miner written in Rust.☆78Updated last year
- The goal of this project is to automatically generate stack comments for huff macros☆50Updated last year