Hyper — unofficial multi-provider community build of Grok Build: a Rust terminal AI coding agent ...

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 multi-target compiler: one portable program source → EVM, Solana, NEAR, Noir with fail-clo...

Lean 4 programming language and theorem prover