danhper / eclair
A Solidity interpreter
☆55Updated this week
Related projects ⓘ
Alternatives and complementary repositories for eclair
- Permissionless onchain exploit bounties tied to a circuit breaker☆41Updated 8 months ago
- The goal of this project is to automatically generate stack comments for huff macros☆50Updated last year
- A Solidity library for transient storage management ✨☆54Updated 4 months ago
- ☆98Updated last year
- Fast ethereum simulator☆40Updated last year
- Solidity snippets too edgy to be in Solady☆111Updated 2 months ago
- ☆88Updated 5 months ago
- Walkthroughs to leverage Odyssey's features from the future.☆70Updated last week
- List of Halmos resources.☆48Updated last month
- ☆68Updated 3 months ago
- A tool for quickly collecting function selectors and decoding signatures from on-chain EVM bytecode.☆51Updated 4 months ago
- ☆70Updated last year
- Testing echidna vs. forge fuzzing☆75Updated last year
- Examples for Branching Tree Technique, a simple specification framework for writing structured Solidity tests☆60Updated last year
- Solidity × 𝙖𝙣𝙮 𝙡𝙖𝙣𝙜𝙪𝙖𝙜𝙚 transpiler for Foundry tests & scripts.☆54Updated 2 months ago
- A collection of gas optimizations for the EVM.☆90Updated 2 years ago
- Execute programs from forge with an open 2-way communication channel between both☆56Updated 5 months ago
- ☆75Updated 2 years ago
- ☆47Updated 11 months ago
- Serverless function on Reth☆67Updated 2 months ago
- Solidity static analyzer☆82Updated 11 months ago
- Blazingly fast function selector miner written in Rust.☆78Updated last year
- Generating Inputs for OZ's MultiProof and SingleProof☆37Updated this week
- Console.log utility for debugging huff contracts☆65Updated last year
- 🦀 Blazing fast, modern, and optimized Rust building blocks for smart contract development using Stylus.☆47Updated 10 months ago
- ☆64Updated 9 months ago
- ☆50Updated last year
- secp256k1 elliptic curve cryptography in pure Solidity for on- and offchain operations☆57Updated 3 weeks ago
- A single-node implementation of a Shadow RPC on top of Reth, utilizing ExEx and custom RPC methods.☆90Updated last month
- CLI tools intended to be use by smart contract developers for general tasks☆67Updated last year