🌴 Empowering everyone to build reliable and efficient smart contracts.
codspeed-criterion-compat
Counted from the Cargo.toml manifests of the 27 indexed repositories that declare codspeed-criterion-compat as a dependency — not download counts. Dependency data last verified 2026-08-04.
Crates that show up unusually often in codspeed-criterion-compat projects. The most distinctive pairings rank first — crates these projects use far more than the average indexed Rust project does, not just crates that are popular everywhere. Each percentage is the share of codspeed-criterion-compat projects that also use it.
An extremely fast Python linter and code formatter, written in Rust.
Rust-based platform for the Web
Turso is an in-process SQL database, compatible with SQLite.
Fast Rust-based bundler for the web with a modernized webpack API 🦀
A minimal, secure Python interpreter written in Rust for use by AI
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
A build system and monorepo management tool for the web ecosystem, written in Rust.
Mago is a toolchain for PHP that aims to provide a set of tools to help developers write better code.
Matrix Client-Server SDK for Rust
Rust implementation of the Ethereum Virtual Machine.
SPARQL graph database
🚀 The open-source, multi-tenant platform for self-building knowledge graphs and simulation
A socket.io server implementation in Rust that integrates with the Tower ecosystem and the Tokio stack.
Lightning fast data version control system for structured and unstructured machine learning datasets. We aim to make versioning datasets as easy as versioning code.
Veryl: A Modern Hardware Description Language
the blockchain for payments
STARK-based virtual machine
Rust D-Bus crate.
Blazingly fast, modular and contributor friendly Solidity compiler, written in Rust
High quality, fast and easy to build cryptography for Rust
Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in combination with a STARK proof system.
Execution client for Seismic
Open standard for mathematical programming interoperability
upki implements platform-independent browser-grade certificate infrastructure