AI agent toolkit: coding agent CLI, unified LLM API, TUI & web UI libraries, Slack bot, vLLM pods

AI Reading Companion for Deep Readers — spoiler-free EPUB/PDF reader with local AI, notes, vocabu...

Lean 4 programming language and theorem prover

The agent that grows with you

Empowering everyone to build reliable and efficient software.

⌥ AI Coding agent for the terminal — hash-anchored edits, optimized tool harness, LSP, Python, b...

OCaml - Oxidized!

Any model. Any hardware. Zero compromise. Built with @ziglang / @openxla / MLIR / @bazelbuild

NURL - Neural Unified Representation Language is programming language for LLM's