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

Lean 4 multi-target compiler: one portable program source → EVM, Solana, NEAR, Noir with fail-clo...

Lean 4 programming language and theorem prover

The agent that grows with you

Empowering everyone to build reliable and efficient software.

The Go programming language

Firedancer is Jump Crypto's Solana validator software.