WilfredTA / ser
Symbolic EVM in Rust (WIP)
☆85Updated last year
Alternatives and similar repositories for ser:
Users that are interested in ser are comparing it to the libraries listed below
- A mostly mostly reasonable approach to Huff styling.☆79Updated last year
- Minimal template for using the Arbiter framework for simulations.☆45Updated last week
- Cross-chain message testing for Arbitrum with Foundry☆61Updated last year
- Helper functions enabling players to solve past curta puzzles on their own time.☆32Updated last year
- An EVM decompiler written in Rust.☆45Updated 2 years ago
- Rust bindings for Solidity's AST and visitors☆49Updated last year
- Solidity LSP server written in rust☆57Updated 3 months ago
- ☆79Updated 2 months ago
- ☆54Updated 2 years ago
- Solidity By Example rewritten in Huff, the most based low-level EVM language.☆33Updated 10 months ago
- ☆51Updated last year
- MEV Olympics☆44Updated last month
- The goal of this project is to automatically generate stack comments for huff macros☆50Updated last year
- ☆51Updated 11 months ago
- Sidecar to Enable Rollup Extensions☆62Updated 2 weeks ago
- Suave/TEE PoCs of MEV Resistant AMMs☆39Updated 7 months ago
- Codegen pretty-printing and deep equality Solidity functions for the Forge testing framework☆65Updated last year
- unhacked challenge 1: reaper☆41Updated 2 years ago
- Ethereum development made easy. Rust-powered toolkit for devs that inhabit the EVM.☆23Updated 7 months ago
- Macros + Primitives for PADE format☆29Updated last week
- ☆50Updated last year
- Optimized, in-memory, memory safe data structures written in Solidity.☆36Updated 11 months ago
- Composable OP Stack Orchestration☆41Updated last year
- Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust☆62Updated last year
- Damn Vulnerable DeFi V3 CTF implementation with Ape, exploits with Vyper & Huff☆25Updated last year
- ☆65Updated 2 years ago
- Solidity static analyzer☆82Updated last year
- ☆63Updated last year