Agent workflows with full observability and time travel: watch every step live, rewind, fork, replay any run. Claude Code, Codex, Gemini, any model or harness.

A CLI tool to switch and manage Codex accounts

Local-first session search, analytics, insights, and token use statistics for coding agents, supporting Claude Code, Codex, and more than 20 other agents.

Rust Library to make lightweight ASCII line graph ╭┈╯ in command line apps.

A Rust runtime for building self-organizing, leaderless distributed systems.

Switch between multiple Claude Code accounts, with automatic rate-limit rotation, usage dashboard, and parallel sessions

RFCs for changes to Rust

An open-source Collaborative Multi-Agent OS for transparent, human-in-the-loop task coordination via Matrix rooms.

Statum helps make undesirable state impossible to represent in code, at compile time

Tokio Telemetry you can run in production

local first and private by default transcription tools with ✨ fun features ✨

The missing knowledge between AI agents and production Ethereum.

AI enabled pair programmer for Claude, GPT, O Series, Grok, Deepseek, Gemini and 300+ models

Formally verified smart contracts gives mathematical certainty across all inputs and execution paths. We bet that agents will make full formal verification practical.

Rust async runtime based on io-uring.

A thread-per-core async Rust runtime with IOCP/io_uring/polling.

The hub for Ethereum-wide interoperability. A collective effort focused on defining common standards and system designs to keep the Ethereum ecosystem fast, unified, and diverse. Developer→User→Pro…

Praat: Doing Phonetics By Computer

Commonware Library Primitives and Examples

The first game written and played entirely in Rust's type system. Not only do you play by writing Rust code, but the rules of the game are enforced by the Rust compiler. If you can write the progra…

A Rust crate providing type-safe abstractions for interacting with AnkiConnect, enabling programmatic control of Anki flashcard software.

Quickly find bottlenecks in Rust - one profiler for CPU, time, memory, SQL and async code.

High-precision, one-shot and consistent benchmarking framework/harness for Rust. All Valgrind tools at your fingertips.

A book about category theory

A blazingly fast general purpose blockchain analytics engine specialized in systematic mev detection

A library for functional programming in Rust

L2 builder proxy

Empowering everyone to build reliable and efficient software.

Adds all vim moves and modes to macOS text fields