A general-purpose semantic systems programming language. Describe a system once; real compilers lower the same source into engine builds, backend services, robots, web runtimes, and headset apps. Not a scripting language.
An optimizing C compiler written in Rust. Verified rewrite rules, acyclic e-graphs, no external assembler. The target ladder is SQLite, then PostgreSQL, then the Linux kernel.
rusty_alloc is a pure-Rust, memory safe alternative to mimalloc. Cross platform combability across x86-64 linux and windows, aarch64, wasm, and RSIC-V for ESP architecture.
Cage lets you programmatically create isolated environments ("sandboxes"), run commands inside them, and tear them down — all through a simple REST API.