Viasat/salt
View on GitHub ↗ ★ 188 Clojure
4 mentions on Hacker News by 4 people: 1 story, 3 comments · first 2019-08-14 · latest 2023-12-20
20082026
-
Clojure to TLA+ https://github.com/Viasat/salt Successor: https://github.com/Viasat/halite
comment by Kevin09210 · 2023-12-20 · in Quint: A specification language based on the temporal logic of actions (TLA) -
…people create DSLs that compile to TLA+. For example, salt lets you write TLA+ specs in Clojure: https://github.com/Viasat/salt
comment by hwayne · 2021-03-31 · in TLA+ Action Properties -
Source code: https://github.com/Viasat/salt
comment by StreamBright · 2019-09-19 · in S-Expressions for Actions with Logic Temporal [video] -
▲ 5
Salt – An experimental tool to convert a subset of Clojure into TLA+story by macmac · 2019-08-14 · 0 comments