Verified Rust for low-level systems code

Rust SDK for Axiom Trade account API and DEX aggregator. Lightning-fast Solana/Hyperliquid trading with auto-OTP, WebSocket streaming, hardware wallet support, and MEV protection. Built for algorithmic trading bots.

Rust library to interact with Security Keys, used by Firefox

Minimalist, performant and auditable verifiable RISC-V vm written in Rust

Yggdrasil Network rewritten in Rust.

Rust SDK for Apache Avro - a data serialization system.

Wolfram Language / Mathematica reimplementation in Rust (Wolfram oxidized)

MTProxy for Telegram on Rust + Tokio

A toolkit for polynomial IOPs (PIOPs)

Cryptographic primitives used in Polygon Miden rollup