Empowering everyone to build reliable and efficient software.
gimli
Counted from the Cargo.toml manifests of the 46 indexed repositories that declare gimli as a dependency — not download counts. Dependency data last verified 2026-08-04.
Crates that show up unusually often in gimli 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 gimli projects that also use it.
🌴 Empowering everyone to build reliable and efficient smart contracts.
🚀 Fast, secure, lightweight containers based on WebAssembly
A lightweight WebAssembly runtime that is fast, secure, and standards-compliant
Data Agent Ready Warehouse : One for Analytics, Search, AI, Python Sandbox. — rebuilt from scratch. Unified architecture on your S3.
Asterinas aims to be a production-grade Linux alternative—memory safe, high-performance, and more.
Command-line sampling profiler for macOS, Linux, and Windows
A very fast linker for Linux
A code coverage tool for Rust projects
A debugging toolset and library for debugging embedded ARM and RISC-V targets on a separate host
Cranelift based backend for rustc
CLI and Rust libraries for low-level manipulation of WebAssembly modules
A debugger for Linux
Source code of Ferrocene, safety-critical Rust toolchain
The Rust Playground
[Acquired by The Guild] The Grafbase GraphQL Federation Gateway
Efficient, deferred formatting for logging on embedded systems
Serial flasher utility for Espressif SoCs and modules based on esptool.py
Experimental WASM Microkernel Operating System
Debugger for Hubris
Stack trace symbolication library written in Rust
Performance and security acceleration for zkVMs.
ANOLISA - Agentic Nexus Operating Layer & Interface System Architecture
An agent-first decompiler designed to be refined by other agents. Kuna is written in Rust and was originally ported from Ghidra.
A code ACL checker for Rust
Awkernel: realtime operating system written in Rust
blazesym is a library for address symbolization and related tasks
Rust support for seL4 userspace
DWARF-aware eBPF tracer for source-level userspace tracing - Explore in a TUI or automate with a scriptable CLI
Pragmatic AI Labs MCP Agent Toolkit - An MCP Server designed to make code with agents more deterministic
Bootstrap, build and deploy sBPF assembly programs with ease
Next Generation Machine Learning, Statistics and Deep Learning in PURE Rust
Compiler from Rust to Miden Assembly
A Rust-based embedded operating system designed to enable memory-safe, robust, and responsive embedded applications.
Assignments of Stanford CS110L-2020spr: Safety in Systems Programming
An integrated os-level crates repository for operating system and virtualization development
High-performance Solana Program Fuzzer written in Rust with LibAFL/LiteSVM backend with sBPF edge coverage and state coverage
Deterministic firmware simulator for ARM Cortex-M and RISC-V — with hardware-validated parity
A community preview of ongoing formal verification efforts for Asterinas
lightweight cross-platform memory visualizer tool
WebAssembly sourcemap generator and WASM binary source mapping url section patcher
Lightweight CPU profiler for Linux as a library
Rust-First frontend framework.
Decompile, deobfuscate, and unpack almost anything: a universal, deterministic, single-binary reverse-engineering toolkit in Rust for Python, JVM/Android, .NET, WebAssembly, JS, Go, and native packers (UPX/PyArmor/PyInstaller/Nuitka) and 20+ more. Built for malware analysis, CTFs, and security research.
Rust monorepo and Wasm smart contract sandbox for Nibiru
🌀 Inference programming language