SorellaLabs / padeLinks
Macros + Primitives for PADE format
☆29Updated 3 weeks ago
Alternatives and similar repositories for pade
Users that are interested in pade are comparing it to the libraries listed below
Sorting:
- Zig EVM☆32Updated 8 months ago
- Template using EIP-3074 - AUTH and AUTHCALL in Solidity☆28Updated last year
- openzepplin smart contracts written in rust for arbritum stylus☆13Updated last year
- Blocktime estimator in Rust☆34Updated 2 years ago
- Minimal template for using the Arbiter framework for simulations.☆47Updated 7 months ago
- ☆18Updated last year
- 🔴 💬 A hack for the OP Stack enabling sequencer commitments.☆28Updated last year
- An EVM low-level language that gives full control over the control flow of the smart contract.☆29Updated last week
- This repo hosts the code for an analysis on Ethereum gas limit.☆18Updated last year
- Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.☆31Updated last year
- ☆26Updated last year
- Composable OP Stack Orchestration☆41Updated last year
- Example code for testing using Echidna explained during the Spearbit presentation☆32Updated 3 years ago
- Rust bindings for Solidity's AST and visitors☆50Updated last year
- efficient libraries for working with min-heaps in solidity☆23Updated 2 years ago
- an introduction to noir, with simple examples☆44Updated last year
- ☆26Updated 3 months ago
- ☆21Updated 2 years ago
- A robust, extensible OP Stack challenge agent written in pure Rust.☆57Updated last year
- Uses magic (zk) to distribute gifts (rewards) to kids (validators)☆13Updated 3 months ago
- Gas golfing the most gas efficient way to check if two integers have the same sign in Solidity☆47Updated 3 years ago
- Create breakpoints for use with Foundry debugger -- https://book.getfoundry.sh/cheatcodes/breakpoint☆34Updated last year
- Personal dotfiles☆29Updated 2 months ago
- EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️☆35Updated 3 months ago
- A Rust library for creating solvers in the OP Stack's dispute protocol☆18Updated last year
- Tstore huff template☆17Updated last year
- Uniswap V4 Huff Hooks☆40Updated 2 years ago
- A suite of portable, extensible `std` components for the superchain.☆21Updated 7 months ago
- 🌻 use L1 multisig owners to sign on L2 multisigs using zk proofs☆31Updated 2 years ago
- Generate perfect Vyper compatible code headers every time.☆22Updated 3 years ago