Stars
Prometheus exporter for LLM subscription usage & quota windows (Claude, Codex, Gemini, Grok, Kimi)
A model checker for implementing distributed systems.
Persistent hash map based on CHAMP — canonical form, O(1) structural equality via AdHash, COW structural sharing
Fast, crash-safe evaluation runner for coding agents
Building blocks for frontier OpenAI agents in Rust. Nanocodex empowers you with Codex-level performance anywhere.
A vLLM patch + hand‑written SM120 SASS kernels: 2‑bit MoE experts + an FP4 "delta" cache that recovers precision — matching the official (NV)FP4 checkpoint's quality on consumer Blackwell cards
A bash implementation of the Ethereum Virtual Machine (EVM)
An asynchronous runtime built on top of io-uring.
libxev is a cross-platform, high-performance event loop that provides abstractions for non-blocking IO, timers, events, and more and works on Linux (io_uring or epoll), macOS (kqueue), and Wasm + W…
Access historical tick data, order book updates, and oracle feed history across emerging venues like Hyperliquid and Lighter, optimized for quantitative workflows.
A shared-nothing, thread-per-core concurrency framework. Designed for massive concurrency because There Is No Alternative (TINA)
cuda-oxide is an experimental Rust-to-CUDA compiler that lets you write (SIMT) GPU kernels in safe(ish), idiomatic Rust. It compiles standard Rust code directly to PTX — no DSLs, no foreign languag…
Review-first terminal diff viewer for agentic coders
Fast, bincode‑compatible serializer/deserializer focused on in‑place initialization and direct memory writes.
A feature-rich command-line audio/video downloader
Docker-based development environment for running Claude Code in an isolated container
Edge is a high level, strongly statically typed, multi-paradigm domain specific language for the Ethereum Virtual Machine (EVM) built in Rust.