Lists (2)
Starred repositories
Spec-driven development (SDD) for AI coding assistants.
DetachHead / rebased
Forked from JetBrains/intellij-communityA git client based on the IntelliJ platform
Review-first terminal diff viewer for agentic coders
A rough port of Node.js's EventEmitter to Python with a few tricks of its own
This package implements Agent Skills (https://agentskills.io) support with progressive disclosure for Pydantic AI. Supports filesystem and programmatic skills.
The free AI already on your Mac. CLI tool, OpenAI-compatible server, and interactive chat — all on-device via Apple Intelligence. No API keys, no cloud, no downloads.
Use Codex from Claude Code to review code or delegate tasks.
SDK for realtime video and audio features for ESP32 projects
SearXNG is a free internet metasearch engine which aggregates results from various search services and databases. Users are neither tracked nor profiled.
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.
FastAPI framework, high performance, easy to learn, fast to code, ready for production
Source code behind the python-patterns.guide site by Brandon Rhodes
Hundreds of models & providers. One command to find what runs on your hardware.
Skills for Real Engineers. Straight from my .claude directory.
Python bindings for access to the on-device model at the core of Apple Intelligence through the Foundation Models framework
A simple terminal UI for search and replace, ala VS Code.
A lightweight, lightning-fast, in-process vector database
CLI proxy that reduces LLM token consumption by 60-90% on common dev commands. Single Rust binary, zero dependencies
Open Source framework for voice and multimodal conversational AI
The open source AI engineering platform for agents, LLMs, and ML models. MLflow enables teams of all sizes to debug, evaluate, monitor, and optimize production-quality AI applications while control…