danhper / eclair
A Solidity interpreter
☆66Updated last month
Alternatives and similar repositories for eclair
Users that are interested in eclair are comparing it to the libraries listed below
Sorting:
- ☆90Updated 11 months ago
- Examples for Branching Tree Technique, a simple specification framework for writing structured Solidity tests☆76Updated last year
- The most optimized ERC20 & Wrapped Ether implementation.☆145Updated last year
- GasBad is an open-source project that evaluates gas efficiency in Solidity libraries☆67Updated 11 months ago
- Blazingly fast function selector miner written in Rust.☆79Updated 2 years ago
- A Solidity library for transient storage management ✨☆59Updated 3 months ago
- Solidity snippets too edgy to be in Solady☆116Updated 8 months ago
- ☆81Updated 3 months ago
- Solidity static analyzer☆82Updated last year
- Console.log utility for debugging huff contracts☆68Updated last year
- ☆98Updated last year
- ☆67Updated last year
- ☆81Updated 9 months ago
- Generating Inputs for OZ's MultiProof and SingleProof☆37Updated 6 months ago
- A collection of gas optimizations for the EVM.☆92Updated 2 years ago
- Testing echidna vs. forge fuzzing☆76Updated 2 years ago
- Ethernaut CTF solutions with Ape, Vyper, & Huff☆36Updated 2 years ago
- Halmos vs Damn Vulnerable DeFi is the series of articles about solving the Damn Vulnerable DeFi CTF using the Halmos symbolic analyzer.☆33Updated 2 months ago
- An EVM decompiler written in Rust.☆46Updated 2 years ago
- e=vm² (pronounced evm-squared; the = is silent) is an evm that runs inside evm.☆91Updated 2 years ago
- A smart contract security search utility☆74Updated 4 months ago
- ☆70Updated last year
- Solidity × 𝙖𝙣𝙮 𝙡𝙖𝙣𝙜𝙪𝙖𝙜𝙚 transpiler for Foundry tests & scripts.☆57Updated 8 months ago
- 2nd place at Huffathon 2023. Optimized token mixer for Ethereum utilizing zkSNARKs. 500% cheaper than Tornado cash☆82Updated last year
- Utilities for working with native solc and compiling projects.☆88Updated this week
- List of Halmos resources.☆54Updated 3 months ago
- ☆65Updated 2 years ago
- Intentionally flawed code with potential pitfalls in custom contracts for EIP7702 delegate accounts.☆41Updated 3 months ago
- ☆58Updated last year
- A mostly mostly reasonable approach to inline Yul styling.☆30Updated last year