Stars
PDF library for Go: layout engine, HTML to PDF, forms, signatures, barcodes, and PDF/A. Apache 2.0.
OpenConjecture, a dataset of mathematics conjectures pulled from papers published to the ArXiv
Formalisation of statements of recent theorems from the Annals of Mathematics.
14MB foundation model for tiny devices; phones, wearables, smart home, and robots.
Sandbox any AI agent in seconds - zero setup, zero latency.
Verified computational algebra in Lean 4: aggregator for the released hex libraries
Arbitrary-precision fixed-point decimal numbers in Go
Datadog Go Library including APM tracing, profiling, and security monitoring.
Go HTTP request logger with structured logging capabilities built on "log/slog" package
lightweight, idiomatic and composable router for building Go HTTP services
Why is this running? Trace any process, port, container, or file back to what started it - CLI + TUI.
Extensible security first OAuth 2.0 and OpenID Connect SDK for Go.
DeepSeek 4 Flash and PRO local inference engine for Metal, CUDA and ROCm
Human-controlled roadmaps for Tau Ceti, an AIs-welcome Lean library downstream of Mathlib.
Lean 4 kernel / 'external checker' written in Lean 4
🚀 Beautiful highly customizable statusline for Claude Code CLI with powerline support, themes, and more.
GitHub action for standard CI in Lean projects
The fastest browser for AI agents to run browser automation, built for sharing your logged-in browser state with your AI agents, like Codex or Claude Code, without disturbing you. Zero cost, zero c…
OpenCode goal plugin for Codex-style goal mode, /goal slash commands, persistent objectives, and AI coding agent focus.
Course notes for Formalising Mathematics 2026
LLM inference server with continuous batching & SSD caching for Apple Silicon — managed from the macOS menu bar