Salt: Systems programming, mathematically verified
Summary
Salt is a systems programming language that uses compile-time Z3-based contracts to guarantee safety without runtime cost, employing arena memory management and MLIR codegen. The article showcases multiple projects (Basalt, Sovereign Train, Lettuce, FACET, C10M) demonstrating Salt's performance parity or superiority to C across various domains, along with a built-in package manager and cross-package contract verification.