A statically-typed programming language optimized for LLM code generation. Compiles to Rust and WebAssembly. - View it on GitHub