LLVM-based Solidity compiler.
☆180May 1, 2026Updated this week
Alternatives and similar repositories for solx
Users that are interested in solx are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆54Updated this week
- The new huff compiler, with improved codegen, label semantics & error messages.☆156Mar 15, 2026Updated last month
- Blazingly fast, modular and contributor friendly Solidity compiler, written in Rust☆544Updated this week
- Solidity LSP server written in rust☆55Feb 25, 2025Updated last year
- The Good Ethereum Assembler☆143Apr 22, 2026Updated last week
- 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.
- ☆14Apr 14, 2026Updated 3 weeks ago
- A DSL for generating optimal EVM bytecode☆195Nov 5, 2024Updated last year
- RISC-V prover system for ZKsync OS☆124Updated this week
- huff-neo marks a new dawn for the once-abandoned huff-rs, breathing fresh life into its legacy.☆58Feb 3, 2026Updated 3 months ago
- Solidity compiler tooling by @NomicFoundation☆280Updated this week
- Symbolic EVM in Rust (WIP)☆87Dec 23, 2023Updated 2 years ago
- The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains…☆300Apr 27, 2026Updated last week
- Modify ASTs Easily & Reliably☆17Dec 22, 2023Updated 2 years ago
- Efficient nibble-sized (4-bit) byte sequence data structure☆36Feb 11, 2026Updated 2 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆69Sep 11, 2023Updated 2 years ago
- A BSC-compatible implementation of the Reth client, using Reth's NodeBuilder API.☆85Sep 9, 2025Updated 7 months ago
- Solidity Package Manager written in rust and integrated into Foundry (forge soldeer ...)☆387Apr 18, 2026Updated 2 weeks ago
- spam EVM execution nodes over JSON-RPC & run benchmarks☆134Updated this week
- A Solidity interpreter☆72Feb 1, 2026Updated 3 months ago
- ☆84Feb 2, 2025Updated last year
- Sidecar to Enable Rollup Extensions☆166Updated this week
- Zig EVM☆34Nov 22, 2025Updated 5 months ago
- The implementation of Stateless Ethereum client based on Reth☆183Apr 16, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- EVM abstraction layer☆80Updated this week
- convert evm bytecode to native machine code and go vroom - just an experiment, probably broken, reach out to georgios@paradigm.xyz to con…☆143Jun 20, 2024Updated last year
- ☆353Aug 1, 2025Updated 9 months ago
- Ethereum system contract implementations (asm)☆51Oct 27, 2025Updated 6 months ago
- Solidity transient storage that's mutable from within a `STATICCALL`☆24May 6, 2025Updated 11 months ago
- Huff development plugin for Vim☆26Dec 31, 2022Updated 3 years ago
- ☆71May 14, 2025Updated 11 months ago
- the EVM, simplified☆101Apr 14, 2026Updated 2 weeks ago
- Run arbitrary code on the EVM☆265Feb 21, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Procedural macro for automatically implementing metrics description and initialization.☆24Apr 14, 2026Updated 2 weeks ago
- A low-level assembly language for the Ethereum Virtual Machine built in blazing-fast pure rust.☆594Oct 20, 2024Updated last year
- ☆16Mar 29, 2024Updated 2 years ago
- ☆15Feb 9, 2026Updated 2 months ago
- A symbolic testing tool for EVM smart contracts☆999Aug 6, 2025Updated 8 months ago
- Reth rpc api extension to enable block validation☆42Dec 13, 2024Updated last year
- ☆26Feb 7, 2024Updated 2 years ago