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

The agent that grows with you

Empowering everyone to build reliable and efficient software.

Interactive I Ching / Yijing systems-thinking atlas for Chinese classics, hexagrams, and digital ...

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

Lean 4 programming language and theorem prover

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

Elixir is a dynamic, functional language for building scalable and maintainable applications

Firedancer is Jump Crypto's Solana validator software.