recmo / yulLinks
☆102Updated 2 years ago
Alternatives and similar repositories for yul
Users that are interested in yul are comparing it to the libraries listed below
Sorting:
- ☆74Updated 3 years ago
- ☆74Updated 3 years ago
- Book showing how to interact with Ethereum from Rust☆43Updated 4 years ago
- Fork of OP-Reth for developing capability to server proofs in FP window☆72Updated this week
- ☆100Updated 2 years ago
- ☆46Updated last year
- Scaling Ethereum, but this time in rust.☆90Updated 2 years ago
- Gas Golfing using Huff and Yul☆80Updated 3 years ago
- A mostly mostly reasonable approach to Huff styling.☆79Updated 2 years ago
- Eclectic notes on static analysis and compilers☆47Updated 3 years ago
- Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.☆127Updated 3 years ago
- proof first, evm specific smt solver☆69Updated 3 years ago
- Testing echidna vs. forge fuzzing☆77Updated 3 years ago
- An efficient, robust, and generalized batch submission service for rollup stacks written in pure rust.☆91Updated 2 years ago
- Overview of Blockspace its demand, pricing, and trading☆48Updated 3 years ago
- ☆58Updated 3 years ago
- EIP 4626 in Cairo lang for Starknet☆52Updated 3 years ago
- ☆55Updated 3 years ago
- Flashloan-proof Uniswap v3 price-out-of-range oracle for querying if a position is out of range onchain☆50Updated 2 years ago
- Symbolic execution engine written in Solidity, based on Difference Logic.☆111Updated 3 years ago
- An interactive VSCode extension that enables developers to visualize, debug, and break down Huff contracts.☆50Updated 2 years ago
- rust bindings for various defi projects☆65Updated 3 years ago
- An experimental progressive and fast zkRollup written in Rust, focused on performance, modularity, and applying cutting-edge Verifiable C…☆117Updated last year
- 🔒💬 A protocol for credible commitments.☆75Updated last year
- Verbosely Documented, Minimal Starknet Contract Examples.☆68Updated 3 years ago
- A Foundry plugin that enables you to plot charts within solidity.☆158Updated 2 years ago
- Fixed point solidity exponentiation.☆75Updated 3 years ago
- Poor man's Solidity REPL☆61Updated 3 years ago
- Forkable hardhat & foundry template for thorough evm development.☆87Updated 3 years ago
- Contracts for my flashloan workshop/lecture at UPenn☆77Updated 3 years ago