Starred repositories
Gliding Horse is a multi-agent orchestration framework built in Rust that supports PDCA scheduling and knowledge graph-based agents, with comprehensive Chinese documentation, and is suitable for bu…
AI-powered IDE for Lean 4 theorem proving. Integrates Claude as a proof assistant with full tool use, live tactic state, inline diagnostics, Unicode input, and Lake build support. Built with Flutter.
PostgreSQL connection pooler, load balancer and database sharder.
Skills for threat modeling, scanning, triage, patching, plus an autonomous scanning harness you can /customize
DeepSeek-native AI coding agent for your terminal. Engineered around prefix-cache stability — leave it running.
The original sources of MS-DOS 1.25, 2.0, and 4.0 for reference purposes
An image-to-world skillset for Claude.
Fast, lossless LLM inference via dual-view diffusion decoding.
A complete AI agency at your fingertips - From frontend wizards to Reddit community ninjas, from whimsy injectors to reality checkers. Each agent is a specialized expert with personality, processes…
📑 PageIndex: Document Index for Vectorless, Reasoning-based RAG
OpenTrace is a knowledge graph platform that maps system architecture, code structure, and service relationships giving you a visual, queryable map of how your codebase and infrastructure connect.
Unsloth Studio is a web UI for training and running open models like Gemma 4, Qwen3.6, DeepSeek, gpt-oss locally.
A minimum viable terminal emulator built on top of the libghostty C API. Ex minimo, infinita nascuntur. 👻🐣
a fast, scalable, multi-language and extensible build system
Remove AI features, telemetry data reporting, sponsored content, product integrations, and other annoyances from web browsers.
Bicep is a declarative language for describing and deploying Azure resources
Ghostty for the web with xterm.js API compatibility
💰💸☁️ For those interested in running Kubernetes in highly regulated environments, particularly financial services
Command-line TOON analyzer for token estimation and structure validation. Fast Rust tool for analyzing .toon and JSON files.
🎒 Token-Oriented Object Notation (TOON) – Compact, human-readable, schema-aware JSON for LLM prompts. Spec, benchmarks, TypeScript SDK.