A modern runtime for JavaScript and TypeScript.
Local LLM inference server for NVIDIA SM120/SM121 GPUs, with a Python build step and a Rust serving runtime.
A batteries-included framework for building web apps
Open Source Alternative to Durable Objects. Build multiplayer AI + complex agent coordination systems.
An Axum-based Rust web framework for building and verifying web apps with Lean 4, featuring optional GPU acceleration and integrated development infrastructure for red-teaming and CI/CD.
A TypeScript-shaped language built for coding agents. It compiles to small, fast native binaries.