Starred repositories
A free, open source, and extensible speech-to-text application that works completely offline.
A 5-20x faster experimental Homebrew alternative
A custom AWS CDK construct library for S3 Vectors.
A security-focused library OS supporting kernel- and user-mode execution
Research prototype tool for modular formal verification of C, Rust and Java programs
MCP Auth Proxy is a secure OAuth 2.1 authentication proxy for Model Context Protocol (MCP) servers
📑 PageIndex: Document Index for Vectorless, Reasoning-based RAG
A Dockerized python Script to fetch Garmin health data and populate that in a InfluxDB Database, for visualization long term health trends with Grafana
vCluster in Docker (vind) is KinD (Kubernetes in Docker) alternative with additional features. For source code, see loft-sh/vcluster repo linked below.
Keyboard-first terminal UI for Argo CD. Browse apps, scope by clusters/namespaces/projects, stream live resource status, trigger syncs, inspect diffs, and roll back safely — all without leaving you…
HelmEnvDelta – environment-aware YAML delta and sync for GitOps
🌯 Burrito is a TACoS Kubernetes Operator - "Argo CD for Terraform"
IDE style command line auto complete
Magnificent app which corrects your previous console command.
Agentic Design Patterns: A Hands-On Guide to Building Intelligent Systems by Antonio Gulli
eBPF-based Linux high-performance transparent proxy solution.
Window peeking, alt-tab and other enhancements for macOS
🐙 JSON diff diver — the time machine for your JSON objects
Monitor configurable endpoints through Kubernetes CRD config.
MCP Documentation Server - Bridge the AI Knowledge Gap. ✨ Features: Document management • Gemini integration • AI-powered semantic search • File uploads • Smart chunking • Multilingual support • Ze…