LLVM-based Solidity compiler.
☆174Mar 2, 2026Updated this week
Alternatives and similar repositories for solx
Users that are interested in solx are comparing it to the libraries listed below
Sorting:
- ☆53Feb 24, 2026Updated last week
- The new huff compiler, with improved codegen, label semantics & error messages.☆151Oct 3, 2025Updated 5 months ago
- Blazingly fast, modular and contributor friendly Solidity compiler, written in Rust☆531Updated this week
- Solidity LSP server written in rust☆55Feb 25, 2025Updated last year
- The Good Ethereum Assembler☆138Updated this week
- huff-neo marks a new dawn for the once-abandoned huff-rs, breathing fresh life into its legacy.☆57Feb 3, 2026Updated last month
- A DSL for generating optimal EVM bytecode☆192Nov 5, 2024Updated last year
- Symbolic EVM in Rust (WIP)☆86Dec 23, 2023Updated 2 years ago
- A BSC-compatible implementation of the Reth client, using Reth's NodeBuilder API.☆83Sep 9, 2025Updated 5 months ago
- spam EVM execution nodes over JSON-RPC & run benchmarks☆125Feb 24, 2026Updated last week
- Sidecar to Enable Rollup Extensions☆165Feb 17, 2026Updated 2 weeks ago
- Solidity compiler tooling by @NomicFoundation☆278Updated this week
- ☆16Mar 29, 2024Updated last year
- ☆16Feb 9, 2026Updated 3 weeks ago
- The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains…☆283Updated this week
- Efficient nibble-sized (4-bit) byte sequence data structure☆37Feb 11, 2026Updated 3 weeks ago
- ☆14Oct 29, 2025Updated 4 months ago
- RISC-V prover system for ZKsync OS☆118Updated this week
- ☆352Aug 1, 2025Updated 7 months ago
- A Solidity interpreter☆72Feb 1, 2026Updated last month
- ☆84Feb 2, 2025Updated last year
- EVM abstraction layer☆78Updated this week
- the EVM, simplified☆99Updated this week
- Zig EVM☆34Nov 22, 2025Updated 3 months ago
- ☆69Sep 11, 2023Updated 2 years ago
- The implementation of Stateless Ethereum client based on Reth☆181Apr 16, 2025Updated 10 months ago
- Procedural macro for automatically implementing metrics description and initialization.☆24Feb 11, 2026Updated 3 weeks ago
- The Ultimate Parallel EVM Engine: Transaction Execution, State Root Calculation, Shred Broadcasting. All in One and at Once!☆347Nov 11, 2025Updated 3 months ago
- Executable formal model of the EVM and Yul in Lean 4.☆65Nov 19, 2025Updated 3 months ago
- Huff development plugin for Vim☆26Dec 31, 2022Updated 3 years ago
- Solidity transient storage that's mutable from within a `STATICCALL`☆24May 6, 2025Updated 9 months ago
- Ethereum system contract implementations (asm)☆49Oct 27, 2025Updated 4 months ago
- Solidity Package Manager written in rust and integrated into Foundry (forge soldeer ...)☆383Updated this week
- ☆54Jun 7, 2025Updated 8 months ago
- Run arbitrary code on the EVM☆265Feb 21, 2024Updated 2 years ago
- A symbolic testing tool for EVM smart contracts☆971Aug 6, 2025Updated 6 months ago
- Ethereum stateless tools☆45Apr 17, 2025Updated 10 months ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆157Feb 23, 2026Updated last week
- calculate new mpt root without loading entire trie☆17Jun 19, 2024Updated last year