nautechsystems / nautilus_trader

Production-grade Rust-native trading engine with deterministic event-driven architecture

Th0rgal / turbo-lean

High-performance, distributed build, verification, and counterexample tooling for Lean 4

krakenfx / kraken-cli

Trade crypto, tokenized stocks, forex and futures on Kraken from your terminal or your AI agent. Built-in MCP server for Claude, Codex and Cursor, JSON output, and paper trading on live prices.

cemcatik / rexurrect

—

lambdaclass / ethrex

Minimalist, stable, modular, fast, and ZK native implementation of the Ethereum protocol in Rust. L1 and L2 execution client.

NiiightmareXD / windows-capture

Fastest Windows Screen Capture Library For Rust And Python 🔥

commonwarexyz / monorepo

Commonware Library Primitives and Examples

findyourexit / excise

Surgical terminal storage navigator

rex-rs / rex

Rex is a safe and usable kernel extension framework that allows loading and executing Rust kernel extension programs in the place of eBPF.