3 min read
Salt: Systems programming, mathematically verified
Salt is a systems language with Z3-proven safety at compile time, no runtime overhead, and arena-based memory management. It offers high performance, verified contracts, and ergonomic syntax.