Coterm CLI runtime
Copilot for your terminal
Multiplicative-additive linear System L with exponentials, embedded in Rust's type system