recmo / yul
☆102Updated last year
Alternatives and similar repositories for yul:
Users that are interested in yul are comparing it to the libraries listed below
- ☆76Updated 2 years ago
- Book showing how to interact with Ethereum from Rust☆41Updated 3 years ago
- Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust☆62Updated last year
- ☆98Updated last year
- A Foundry plugin that enables you to plot charts within solidity.☆157Updated last year
- A mostly mostly reasonable approach to Huff styling.☆80Updated last year
- Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.☆127Updated 2 years ago
- Codegen pretty-printing and deep equality Solidity functions for the Forge testing framework☆65Updated last year
- Testing echidna vs. forge fuzzing☆75Updated 2 years ago
- Cross chain call library for Solidity☆81Updated 2 years ago
- Gas Golfing using Huff and Yul☆82Updated 2 years ago
- ☆46Updated 10 months ago
- An efficient, robust, and generalized batch submission service for rollup stacks written in pure rust.☆91Updated last year
- Math library written in solidity for statistical function approximations like the Normal Cumulative Distribution Function.☆119Updated last year
- ☆47Updated 6 months ago
- Gas efficient routers for L2 applications☆114Updated 2 years ago
- ☆75Updated 2 years ago
- Solidity library offering linspace, arange, and logspace methods to generate evenly spaced arrays.☆122Updated 2 years ago
- EIP 4626 in Cairo lang for Starknet☆51Updated 2 years ago
- Rust bindings for Solidity's AST and visitors☆50Updated last year
- ☆56Updated 2 years ago
- ☆77Updated 2 years ago
- Eclectic notes on static analysis and compilers☆47Updated 2 years ago
- Minimal Yul Transpilation to the Miden VM☆53Updated 2 years ago
- Execute programs from forge with an open 2-way communication channel between both☆56Updated 10 months ago
- An experimental progressive and fast zkRollup written in Rust, focused on performance, modularity, and applying cutting-edge Verifiable C…☆120Updated 10 months ago
- e=vm² (pronounced evm-squared; the = is silent) is an evm that runs inside evm.☆91Updated 2 years ago
- 🔒💬 A protocol for credible commitments.☆75Updated last year
- ☆58Updated 2 years ago
- Symbolic execution engine written in Solidity, based on Difference Logic.☆111Updated 2 years ago