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.

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

Cross-platform asynchronous I/O

Lean 4 coding agent with native libcurl FFI, OpenAI-compatible providers, JSONL sessions, REPL, a...

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