Next Generation Experimental Tracking for Machine Learning Operations

Extended utilities for working with files and filesystems in Rust. This is a fork of the fs2-rs crate, the aim for this fork is to support async and replace libc with rustix.

Convert Claude Code JSONL conversation logs to annotated, readable HTML

A Git-compatible VCS that is both simple and powerful

Static checker for GitHub Actions workflow files

Game sound effects for Claude Code — Warcraft Peon voice lines while you code! Work work! 🔨

The mutant dinosaur that hunts your bugs. Mutation-based code verification MCP server.

Rust implementation of the HNSW algorithm (Malkov-Yashunin)

Apple frameworks bindings for rust

An open-source remote desktop application designed for self-hosting, as an alternative to TeamViewer.

Multi-account Claude usage tracker TUI (Rust/ratatui)

Extremely fast Vite-compatible web build tool written in Rust

A realtime-safe single-producer single-consumer (SPSC) ring buffer

GitHub Agentic Workflows

Verified Rust for low-level systems code

A static verifier for Rust, based on the Viper verification infrastructure.

Creusot helps you prove your code is correct in an automated fashion.

A Programming Language by AI, for AI

Privacy first, AI meeting assistant with 4x faster Parakeet/Whisper live transcription, speaker diarization, and Ollama summarization built on Rust. 100% local processing. no cloud required. Meetil…

Native macOS menu bar app for tracking Claude AI usage limits in real-time. Built with Swift/SwiftUI.

Monitor all your Claude AI usage limits in real-time from your macOS menu bar - supports 5-hour, 7-day, extra usage, 7-day Opus and 7-day Sonnet quotas.

NativeLink is a Nix-powered, open source, high-performance build cache and remote execution server, compatible with Bazel, Soong, Pants, Buck2, Reclient, and other RE-compatible build systems. It o…

Bazel remote caching and execution service

Example deployments of Buildbarn on various platforms

an open source, extensible AI agent that goes beyond code suggestions - install, execute, edit, and test with any LLM

Slack client for your terminal

Neural building blocks for speaker diarization: speech activity detection, speaker change detection, overlapped speech detection, speaker embedding

rust wrapper for rocksdb

the champagne of beta embedded databases

High-performance durable, portable, transactional embeddable storage engine designed for flash and RAM optimization.