Build Real-Time Knowledge Graphs for AI Agents

🤖 WebMCP

OpenCode quota & tokens usage with zero context window pollution. Supports OpenCode Go, Cursor, GitHub Copilot, OpenAl (Plus/Pro), Kimi Code, Alibaba Coding Plan, Chutes Al, Google Antigravity, Z.a…

Fork of std::sync::Arc with lots of utilities useful for FFI

🍿 A collection of QoL plugins for Neovim

🎨 Regex visualizer & editor

A Declarative Update Policy Engine

Algebrica is free and open a mathematical knowledge base dedicated to clarity, structure, and conceptual coherence.

A Unified Virtual Filesystem For AI Agents

Rust web framework

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…

Blazing fast immutable collection datatypes for Rust.

OCI registry client - managing content like artifacts, images, packages

A visualization library for Rust

firecracker-in-docker is a proof of concept project to run Firecracker MicroVMs inside unprivileged Docker containers.

An open-source AI agent that lives in your terminal.

BRAT - Beta Reviewer's Auto-update Tool for Obsidian.

Bring AI agents into Obsidian via Agent Client Protocol (ACP), such as Claude Code, Codex and Gemini CLI.

Rust SDK for ACP clients and agents.

A framework for building, orchestrating and deploying AI agents and multi-agent workflows with support for Python and .NET.

AI Agent Builder and Runtime by Docker Engineering

A fast, practical GPU rasterizer for fonts and vector graphics

🔤 Rust implementations of string similarity metrics

📑 PageIndex: Document Index for Vectorless, Reasoning-based RAG

More components built on top of shadcn-ui.

Verification-condition-generation-based verifier for the Viper intermediate verification language.

CKAN-based AuScope Instrument Registry (PIDINST-aligned), built from the ckan-docker baseline

Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.

📝 A .docx file writer with Rust/WebAssembly.

NVIDIA Data Center GPU Manager (DCGM) is a project for gathering telemetry and measuring the health of NVIDIA GPUs