recmo / yul
☆102Updated last year
Related projects ⓘ
Alternatives and complementary repositories for yul
- ☆75Updated 2 years ago
- Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust☆62Updated last year
- A mostly mostly reasonable approach to Huff styling.☆79Updated last year
- Yearn Strategy Mix Using Foundry Framework☆104Updated last year
- Minimal ERC20-compatible bytecode☆71Updated 3 years ago
- ☆98Updated last year
- ☆75Updated 2 years ago
- Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.☆126Updated 2 years ago
- e=vm² (pronounced evm-squared; the = is silent) is an evm that runs inside evm.☆90Updated 2 years ago
- Book showing how to interact with Ethereum from Rust☆40Updated 3 years ago
- Solidity library offering linspace, arange, and logspace methods to generate evenly spaced arrays.☆122Updated last year
- Cross chain call library for Solidity☆80Updated 2 years ago
- Codegen pretty-printing and deep equality Solidity functions for the Forge testing framework☆65Updated last year
- Contracts for my flashloan workshop/lecture at UPenn☆76Updated last year
- readable evm state diffs, enumerate full contract storage☆133Updated last year
- Fast ethereum simulator☆40Updated last year
- Testing echidna vs. forge fuzzing☆75Updated last year
- ☆76Updated 9 months ago
- A Huff <> bytecode transpiler☆117Updated last year
- An opinionated formatting and linting tool for foundry projects☆79Updated 4 months ago
- An efficient, robust, and generalized batch submission service for rollup stacks written in pure rust.☆90Updated last year
- Minimal bytecode peephole optimizer☆119Updated 2 years ago
- ☆113Updated this week
- Symbolic execution engine written in Solidity, based on Difference Logic.☆108Updated 2 years ago
- Rust bindings for Solidity's AST and visitors☆49Updated last year
- Math library written in solidity for statistical function approximations like the Normal Cumulative Distribution Function.☆118Updated 11 months ago
- ☆80Updated last year
- Gas efficient routers for L2 applications☆113Updated 2 years ago
- Repository containing past audit reports☆53Updated 11 months ago
- 🔒💬 A protocol for credible commitments.☆73Updated 9 months ago