The Nix Package Manager

an implementation of the ideas in Erik Meijer's "Guardians of the Agents: Formal Verification of AI Workflows" (Communications of the ACM, January 2026)

A production-ready QUIC implementation in pure Go

The official CLI for the X API

Production-Grade Container Scheduling and Management

A cloud-native Go microservices framework with cli tool for productivity.

The official Go library for the OpenAI API

spark connector for ducklake

Memory layer for AI Agents. Replace complex RAG pipelines with a serverless, single-file memory layer. Give your agents instant retrieval and long-term memory.

The to-do app to organize your life.

Manage a swarm of coding agents.

Build your own AI SRE agents. The open source toolkit for the AI era ✨

Browser automation CLI for AI agents

🚀2.3x faster than MinIO for 4KB object payloads. RustFS is an open-source, S3-compatible high-performance object storage system supporting migration and coexistence with other S3-compatible platfor…

A workshop that teaches you how to build your own coding agent. Similar to Roo code, Cline, Amp, Cursor, Windsurf or OpenCode.

Lightweight coding agent that runs in your terminal

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

nono - a capability-based, multiplexing sandbox tool, built for developers - lift'n'shift seamless path to prod. Run agents securely without needing any additional infra, zero setup, zero latency.

Reference client for NEAR Protocol

Post-modern configuration management

The financial transactions database designed for mission critical safety and performance.

Home to the Signal Protocol as well as other cryptographic primitives which make Signal possible.

Autonomous agents for everyone

A Nix library to create wrapped executables via the module system

Library for using modules to wrap packages with configuration directly, and a collection of pre-built wrapper modules!

Build, run and scale AI agents like API and microservices - observable,auditable and identity-aware from day one.

Cloud Native Agentic AI | Discord: https://bit.ly/kagentdiscord

Use Garry Tan's exact Claude Code setup: 23 opinionated tools that serve as CEO, Designer, Eng Manager, Release Manager, Doc Engineer, and QA

Orchestrate coding agents remotely from your phone, desktop and CLI