Show HN: Salt – a systems language with Z3 theorem proving in the compiler
A language where safety contracts are checked by Z3 at compile time. Arena memory, MLIR codegen, and exact performance parity with C.
Summary not yet generated for this article.
Comments (44 of ) ⌛