The math library of Lean 4

Make your production flow

Terminal emulator powered by libghostty

Open-source keyboard firmware for Atmel AVR and Arm USB families

Test your prompts, agents, and RAGs. Red teaming/pentesting/vulnerability scanning for AI. Compare performance of GPT, Claude, Gemini, DeepSeek, and more. Simple declarative configs with command li…

An agent-managed museum exhibit, built in Rust with Gajae-Code / LazyCodex — developed and maintained with no human intervention.

Specification and documentation for Agent Skills

Vite plugin that reimplements the Next.js API surface — deploy anywhere

Create executable documents that demonstrate an agent's work

kubectl for AI Agents

Graphical configurator for Kaleidoscope-powered keyboards

An open-source background agents coding system

Daytona is a Secure and Elastic Infrastructure for Running AI-Generated Code

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

The open source coding agent.

Beads - A memory upgrade for your coding agent

Efficient and versatile WebAssembly interpreter for embedded systems.

Embedding Atlas is a tool that provides interactive visualizations for large embeddings. It allows you to visualize, cross-filter, and search embeddings and metadata.

Claude Code IDE integration for Emacs

pydantic --> zod data models

A declarative command-line parser for OCaml

OCaml extensions in Rust

Sentry integration for structlog

Terrateam is open-source GitOps infrastructure orchestration. It integrates with GitHub to automate Terraform, OpenTofu, CDKTF, Terragrunt, and Pulumi workflows through pull requests.

Fast caching software with a focus on low latency and cpu efficiency.

AI Agent Framework, the Pydantic way

Process Compose is a simple and flexible scheduler and orchestrator to manage non-containerized applications.

Modern scientific computing for OCaml

Pupdate - A thing for updating your Analogue Pocket