quint-co/quint
View on GitHub ↗ ★ 1,900 TypeScript
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
15 mentions on Hacker News by 10 people: 4 stories, 11 comments · first 2023-06-29 · latest 2026-10-18
20082026
-
▲ 5
An executable specification language based on temporal logic of actions (TLA)story by mooreds · 2026-10-18 · 2 comments
-
▲ 8
Holiday protocols: secret santa with Quintstory by bugarela · 2023-12-21 · 1 comment
-
▲ 110
Quint: A specification language based on the temporal logic of actions (TLA)story by abathologist · 2023-12-19 · 35 comments
-
▲ 5
Quint – a new language based on TLA+ with modern syntax and developer toolingstory by mmmmkay · 2023-07-09 · 1 comment