PROST! a Protocol Buffers implementation for the Rust Language

A native gRPC client & server implementation with async/await support.

CODA: Rewriting Transformer Blocks as GEMM-Epilogue Programs

Kani Rust Verifier

Graphs that teach > graphs that impress. Turn any code into an interactive knowledge graph you can explore, search, and ask questions about. Works with Claude Code, Codex, Cursor, Copilot, Gemini C…

Battery packs help you get up and going quickly with Rust!

AI-powered multi-voice audiobook generator — LLM script annotation, voice cloning, voice design, LoRA training, per-line style control, and export to MP3, chaptered M4B, or Audacity multi-track. Bu…

Joplin - the privacy-focused note taking app with sync capabilities for Windows, macOS, Linux, Android and iOS.

Lightweight coding agent that runs in your terminal

TensorRight: Automated Verification of Tensor Graph Rewrites

An open source, self-hosted implementation of the Tailscale control server

Port Messenger to OCaml for a brighter future.

AI agent toolkit: unified LLM API, agent loop, TUI, coding agent CLI

DeepSeek 4 Flash and PRO local inference engine for Metal, CUDA and ROCm

Agentic Coding for Builders who Ship

Generic command-line automation tool

Community plugin to add features to the graph view.

Plugin for Obsidian that renders interactive graphs from YAML.

WebAssembly library, toolchain and runtime for eBPF programs

An io_uring backed runtime for Rust

Safe Rust bindings to POSIX-ish APIs

Typeset in place, perhaps.

Codex-native Academic Research Skills suite for human-in-the-loop academic research workflows

Academic Research Skills for Claude Code: research → write → review → revise → finalize

Exploit Development and Reverse Engineering with GDB & LLDB Made Easy

Touying is a powerful package for creating presentation slides in Typst.

Spec-driven development (SDD) for AI coding assistants.