Viasat/salt

5 best points · 0 comments · 1 Hacker News post · 188 GitHub stars · View on GitHub

Hacker News discussions

• Salt – An experimental tool to convert a subset of Clojure into TLA+ (5 points, 0 comments, by macmac, 2019-08-14)