The Lattice project has been split into standalone repositories. This monorepo is preserved as a historical reference and index.
| Repository | Description |
|---|---|
| salt | The Salt programming language — systems programming with Z3-powered compile-time verification |
| keuos | KeuOS microkernel — SMP, SPSC IPC, TCP stack, arena memory, Ring 3 userspace |
| basalt | Llama 2 inference in 1,600 lines of Salt — 920 tok/s, Z3-verified kernels, WASM |
| lettuce | Redis-compatible server in 314 lines of Salt with Z3-proven buffer bounds |
| facet | GPU 2D compositor in Salt — Metal backend, matches C performance |
| salt-benchmarks | Salt vs C/Rust across 36 leetcode-style problems and micro-benchmarks |
The monorepo served its purpose during initial development, but each project deserves its own identity, issue tracker, and release cadence. Salt is a language. KeuOS is an OS. Basalt is an ML inference engine. They're different things with different audiences.
This monorepo contains the full commit history from January–July 2026, including the compiler, kernel, and all applications. It is archived and read-only.
MIT — applies to all split projects.