Starred repositories
Makes your AI agent think like the laziest senior dev in the room. The best code is the code you never wrote.
Experimental implementation of Cubical Type Theory
Convert PDF to HTML without losing text or format.
A proof assistant and a dependently-typed language
Convert PDF to markdown + JSON quickly with high accuracy
Lightweight coding agent that runs in your terminal
Open-source vector similarity search for Postgres
Qdrant - High-performance, massive-scale Vector Database and Vector Search Engine for the next generation of AI. Also available in the cloud https://cloud.qdrant.io/
A fast, native terminal multiplexer built in Rust with GPUI (the UI framework from Zed editor). Tabs, splits, detachable windows, command palette, and automatic workspace restore.
Resolve production issues, fast. An open source observability platform unifying session replays, logs, metrics, traces and errors powered by ClickHouse and OpenTelemetry.
Open source APM: OpenTelemetry traces, metrics, and logs
Open source observability platform for logs, metrics, traces, frontend monitoring, pipelines and LLM observability. A sophisticated, simple and highly performant alternative to Datadog, Splunk, andβ¦
SigNoz is an open-source observability platform native to OpenTelemetry with logs, traces and metrics in a single application. An open-source alternative to DataDog, NewRelic, etc. π₯ π₯. π Open sourβ¦
Ghostty-based macOS terminal with vertical tabs and notifications for AI coding agents
Ο-Bench: A Benchmark for Tool-Agent-User Interaction in Real-World Domains
An agentic skills framework & software development methodology that works.
GNU Stow - mirror of savannah git repository occasionally with more bleeding-edge branches
Compute differences between two slices using wu(the O(NP)) algorithm.