SorellaLabs / padeLinks
Macros + Primitives for PADE format
☆29Updated 2 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 10 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
- Minimal template for using the Arbiter framework for simulations.☆46Updated 9 months ago
- Rust bindings for Solidity's AST and visitors☆50Updated 2 years ago
- An EVM low-level language that gives full control over the control flow of the smart contract.☆29Updated 2 months ago
- ☆26Updated last year
- Blocktime estimator in Rust☆35Updated 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 last year
- A Rust library for creating solvers in the OP Stack's dispute protocol☆19Updated last year
- Create breakpoints for use with Foundry debugger -- https://book.getfoundry.sh/cheatcodes/breakpoint☆34Updated last year
- ERC-3770☆18Updated last year
- An alternative implementation of the OP Stack's Cannon, a MIPS emulator for the EVM.☆64Updated last year
- ☆21Updated 2 years ago
- Solidity transient storage that's mutable from within a `STATICCALL`☆24Updated 5 months ago
- Gas golfing the most gas efficient way to check if two integers have the same sign in Solidity☆47Updated 3 years ago
- This repo hosts the code for an analysis on Ethereum gas limit.☆18Updated last year
- Example code for testing using Echidna explained during the Spearbit presentation☆32Updated 3 years ago
- Uses magic (zk) to distribute gifts (rewards) to kids (validators)☆13Updated 5 months ago
- efficient libraries for working with min-heaps in solidity☆23Updated 2 years ago
- A suite of portable, extensible `std` components for the superchain.☆21Updated 9 months ago
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆36Updated this week
- ☆35Updated 3 years ago
- Example to extend Reth to include custom APIs☆28Updated last year
- Smart contract audit / optimization reports generated by solstat.☆14Updated 2 years ago
- ☆55Updated 3 years ago
- Ethereum stateless tools☆45Updated 6 months ago
- rust types and services for Zenith 🎀☆29Updated 6 months ago
- A rewrite of Optimism's MIPS.sol thread context in Huff☆25Updated 2 years ago