Stars
The financial transactions database designed for mission critical safety and performance.
Open Source Identity and Access Management For Modern Applications and Services
Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
Framework for evaluating and improving agents
DeepSeek 4 Flash and PRO local inference engine for Metal, CUDA and ROCm
Orchestration-builder SDK for multi-agent coding workflows
Graph database optimized for fast analysis and real-time data processing. It is provided as an extension to PostgreSQL.
GitHub Action to calculate the next release version based on conventional commits
👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.
AI agent toolkit: unified LLM API, agent loop, TUI, coding agent CLI
Clearance product workspace: a monorepo for the Markdown viewer, currently shipping a native Swift/macOS app with structure for future shared Tauri implementations on Windows, Linux, and Android.
Hands-on tutorials for building AI agents from scratch. Learn LLM APIs, prompt engineering, tool calling, and the agent loop through practical examples.
Beads - A memory upgrade for your coding agent
An extremely fast Python package and project manager, written in Rust.
A light-weight and powerful meta-prompting, context engineering and spec-driven development system for Claude Code by TÂCHES.
An agentic skills framework & software development methodology that works.
Configurable status line for Claude Code — usage limits, context window, git info, and themes in one bar.
A set of beautifully-designed, accessible components and a code distribution platform. Works with your favorite frameworks. Open Source. Open Code.
Backstage is an open framework for building developer portals
💫 Toolkit to help you get started with Spec-Driven Development
A community-maintained Python framework for creating mathematical animations.
Code for the manim-generated scenes used in 3blue1brown videos
The Scrum Guide Expansion Pack clarifies Scrum’s core principles, helping teams navigate rapid change, AI integration, and product-focused outcomes.