Salt: Systems programming, mathematically verified
Salt is a novel programming language designed for high performance and safety. It utilizes Z3 for contract verification at compile time, avoiding runtime costs. With features like arena-based memory management and seamless integration for various applications, Salt achieves performance metrics on par with C, proving its efficiency and reliability across multiple benchmarks.