Show HN: Salt – a systems language with Z3 theorem proving in the compiler

 (salt-lang.dev)

44 points | by bneb-dev 4 days ago

51 comments