SorellaLabs / padeLinks
Macros + Primitives for PADE format
☆29Updated 6 months ago
Alternatives and similar repositories for pade
Users that are interested in pade are comparing it to the libraries listed below
Sorting:
- Zig EVM☆34Updated 2 months ago
- openzepplin smart contracts written in rust for arbritum stylus☆13Updated last year
- Template using EIP-3074 - AUTH and AUTHCALL in Solidity☆28Updated 2 years ago
- Blocktime estimator in Rust☆35Updated 2 years ago
- ☆26Updated 2 years ago
- Minimal template for using the Arbiter framework for simulations.☆46Updated last year
- A Rust library for creating solvers in the OP Stack's dispute protocol☆19Updated 2 years ago
- An EVM low-level language that gives full control over the control flow of the smart contract.☆29Updated 5 months ago
- A suite of portable, extensible `std` components for the superchain.☆21Updated last year
- Rust bindings for Solidity's AST and visitors☆50Updated 2 years ago
- Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.☆31Updated last year
- 🔴 💬 A hack for the OP Stack enabling sequencer commitments.☆28Updated 2 years ago
- celestia blobs, evm execution☆20Updated last year
- This repo hosts the code for an analysis on Ethereum gas limit.☆18Updated 2 years ago
- Gas golfing the most gas efficient way to check if two integers have the same sign in Solidity☆46Updated 3 years ago
- EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️☆35Updated 9 months ago
- an introduction to noir, with simple examples☆44Updated 2 years ago
- Uses magic (zk) to distribute gifts (rewards) to kids (validators)☆13Updated 9 months ago
- An alternative implementation of the OP Stack's Cannon, a MIPS emulator for the EVM.☆65Updated last year
- Better assertion macros for pure Huff tests.☆19Updated 2 years ago
- Tstore huff template☆17Updated 2 years ago
- ☆21Updated 2 years ago
- Partial Block Building with TEEs☆17Updated last year
- Example code for testing using Echidna explained during the Spearbit presentation☆31Updated 3 years ago
- ERC-3770☆18Updated last year
- Ethereum stateless tools☆45Updated 9 months ago
- Uniswap V4 Huff Hooks☆41Updated 2 years ago
- ☆22Updated 2 years ago
- inscriptions lol☆16Updated 2 years ago
- ☆35Updated 3 years ago