Stars
Mathematical semantics of Ledger, the double-entry accounting tool
The JavaScript / Wasm runtime that powers Cloudflare Workers
An open-source framework for detecting, redacting, masking, and anonymizing sensitive data (PII) across text, images, and structured data. Supports NLP, pattern matching, and customizable pipelines.
Concise GitHub Action for installing a Rust toolchain
ClickHouse® is a real-time analytics database management system
Framework for evaluating and improving agents
Command-line sampling profiler for macOS, Linux, and Windows
💫 Toolkit to help you get started with SDD or any other process!
Generate Kubernetes architecture diagrams from Kubernetes manifest files, kustomization files, Helm charts, helmfiles, and actual cluster state
Lightweight MCP server for Spotify
A cross-platform, linkable library implementation of Git that you can use in your application.
An axiom-free formalization of category theory in Coq for 955A personal study and practical work
Double-entry accounting system with a command-line reporting interface
A community trust management system based on explicit vouches to participate.
High-velocity, monorepo-scale workflow for Git
An AI-powered task-management system you can drop into Cursor, Lovable, Windsurf, Roo, and others.
A tasteful, lean, fast & safe pure Rust implementation of Git
Extends Refined GitHub with AI contribution tracking capabilities for GitHub pull requests. Line-level AI attribution visualization by reading Git AI Standard metadata from git notes, enabling tran…
Laminar - open-source observability platform purpose-built for AI agents. YC S24.
Helm chart for deploying Inngest on Kubernetes. Self-host with PostgreSQL, Redis, and optional KEDA autoscaling support.
Modules for interfacing Emacs Magit with Git-ai (usegitai.com)
Configure external DNS servers dynamically from Kubernetes resources