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

Lean 4 compiler profile: ordinary Lean defs to Solana sBPF and EVM Yul. Not a new contract language.

Unix like coding agent