Symbolic EVM in Rust (WIP)
☆87Dec 23, 2023Updated 2 years ago
Alternatives and similar repositories for ser
Users that are interested in ser are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Tools for Yul.☆140Mar 29, 2023Updated 3 years ago
- A comprehensive walkthrough of all the nooks and crannies ethers-rs has to offer.☆95Jan 28, 2023Updated 3 years ago
- pseudonymous transfers of Ether tokens using create2 & selfdestruct()☆32Oct 27, 2022Updated 4 years ago
- A Solidity static analyzer to identify contract vulnerabilities and gas efficiencies.☆428Nov 17, 2023Updated 2 years ago
- Personal dotfiles☆30Oct 18, 2026Updated 2 weeks ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆23Mar 6, 2023Updated 3 years ago
- Huff Implementation of VRGDAs☆41Sep 12, 2022Updated 4 years ago
- ☆15Aug 29, 2024Updated 2 years ago
- Run arbitrary code on the EVM☆266Feb 21, 2024Updated 2 years ago
- ☆55Oct 4, 2022Updated 4 years ago
- optimized huff snippets☆20May 2, 2023Updated 3 years ago
- ☆18Aug 31, 2022Updated 4 years ago
- Symbolic execution engine written in Solidity, based on Difference Logic.☆112Oct 6, 2022Updated 4 years ago
- Minimal bytecode peephole optimizer☆130Jan 29, 2025Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- This is my solution. If you think you can further optimize it - be my guest!☆22Oct 8, 2022Updated 4 years ago
- An open source, high performance limit order book for the Seaport smart contracts. Implemented in Rust using ethers-rs, this offers a tur…☆190Jun 22, 2023Updated 3 years ago
- Example setup of Forge tests and CI to do basic checks for storage collisions when iterating on upgradeable contract implementations.☆28Dec 23, 2022Updated 3 years ago
- A verbose CLI to probe go-ethereum data structures, built in rust.☆14Mar 3, 2023Updated 3 years ago
- ☆101Apr 23, 2023Updated 3 years ago
- Whitenoise CTF I: Doves in the Wind☆20Oct 11, 2022Updated 4 years ago
- A Huff <> bytecode transpiler☆118May 21, 2025Updated last year
- Huff development plugin for Vim☆25Dec 31, 2022Updated 3 years ago
- evm inception: the evm inside the evm via yul and solidity☆226Apr 19, 2023Updated 3 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A proxy node example using Reth!☆93Aug 12, 2023Updated 3 years ago
- Examples, trickery, and self-documenting tomfoolery for interacting and working with go-ethereum including some breakage.☆22Nov 22, 2022Updated 3 years ago
- Rust wrapper for Otterscan, fast, local and privacy-friendly block explorer.☆24Jul 20, 2022Updated 4 years ago
- Unified liquidity, accessible anywhere.☆23May 11, 2023Updated 3 years ago
- ☆81Feb 2, 2023Updated 3 years ago
- Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.☆127Sep 4, 2022Updated 4 years ago
- ☆51Jan 22, 2024Updated 2 years ago
- A mostly mostly reasonable approach to Huff styling.☆80Aug 8, 2023Updated 3 years ago
- Gas efficient routers for L2 applications☆116Sep 23, 2022Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Andromeda revm execution service☆32Jul 25, 2024Updated 2 years ago
- Discord x OpenAI bot☆14Apr 14, 2023Updated 3 years ago
- An ether-rs middleware to access reth's db directly, bypassing JSON-RPC☆269Oct 18, 2023Updated 3 years ago
- Symbolic stack CFG generator for EVM☆190Feb 10, 2025Updated last year
- An MEV back-running template for ethers-rs☆73Apr 17, 2025Updated last year
- a prototype ethereum block builder☆81Sep 16, 2023Updated 3 years ago
- A symbolic testing tool for EVM smart contracts☆1,041Aug 6, 2025Updated last year