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.
NOUS (Νοῦς) — monitor, not a guard. NOUS proves the rules you declare hold across every path your AI agents could take — and anyone can check the proof offline, without trusting the vendor. Not even NOUS. EU AI Act Annex IV.
Config, code, and encryption in one `.mdix` file. Monorepo for the DixScript compiler: dixscript (Rust core, on crates.io), mdix-cli, mdix-lsp, and FFI bindings for C#, Go, Python, WASM, and C.
Kavun is a lightweight, high performance, embeddable scripting language for Go, featuring first-class records, lambda-based pipelines, f-strings, and a sandboxable VM.
A programming language where signatures declare types, effects, and machine-checked promises — proven with Z3, compiled with LLVM. Built for trusting AI-written code.