Hacker GitHub

← All repos

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

Mentions per year 4 mentions · busiest year 2019 (2)
20082026
AllStoriesComments NewestTopOldest
  1. 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)
  2. …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
  3. Source code: https://github.com/Viasat/salt
    comment by StreamBright · 2019-09-19 · in S-Expressions for Actions with Logic Temporal [video]