Hacker GitHub

← All repos

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

Mentions per year 15 mentions · busiest year 2023 (7)
20082026
AllStoriesComments NewestTopOldest
  1. ▲ 5
    An executable specification language based on temporal logic of actions (TLA)
    story by mooreds · 2026-10-18 · 2 comments
  2. You should look into Quint: https://github.com/quint-co/quint . It comes with simple syntax and very good developer tooling. Quint to TLA+ is what Typst is to Latex.
    comment by beu5a · 2026-09-30 · in What TLA+ can and can't check
  3. …of actions (TLA)". I think it is awesome and anybody interested in TLA+ should check it out. [0]: https://github.com/quint-co/quint [1]: https://news.ycombinator.com/item?id=49865720
    comment by sourdecor · 2026-09-30 · in What TLA+ can and can't check
  4. I indirectly use TLA+ through https://github.com/quint-co/quint . I added instructions that "before you implement any feature, please use Quint to model it and make sure no counterexample for the system as a whole, reiterate the design…
    comment by stevefan1999 · 2026-09-27 · in The internet discovers TLA+. Now what?
  5. …closer to functional programming language and doesn't require a big investment learning the syntax: https://github.com/informalsystems/quint
    comment by beu5a · 2026-05-21 · in Intro to TLA+ for the LLM Era: Prompt Your Way to Victory
  6. …And it has some nice dev tooling, like an LSP, which also lowers the barrier to entry. [0]: https://github.com/informalsystems/quint
    comment by Taikonerd · 2025-01-10 · in Formal Methods: Just Good Engineering Practice? (2024)
  7. In addition to PlusCal, I think the main "pseudocode alternative" to TLA+ is now Quint: https://github.com/informalsystems/quint
    comment by hwayne · 2024-10-25 · in TLA from First Principles
  8. Looks like there's more information in their readme: https://github.com/informalsystems/quint > Quint is a modern specification language that is a particularly good fit for distributed systems, such as blockchain protocols, distributed…
    comment by chipxsd · 2024-07-31 · in Quint
  9. …properties with Apalache [2]. Hope you enjoy it, and any feedback is welcome. Happy holidays! [1]: https://github.com/informalsystems/quint [2]: https://github.com/informalsystems/apalache
    comment by bugarela · 2023-12-21 · in Holiday protocols: secret santa with Quint
  10. ▲ 8
    Holiday protocols: secret santa with Quint
    story by bugarela · 2023-12-21 · 1 comment
  11. …clock or a counter. I'll file an issue to introduce something more focused. Thanks again :) edit: https://github.com/informalsystems/quint/issues/1319
    comment by abathologist · 2023-12-20 · in Quint: A specification language based on the temporal logic of actions (TLA)
  12. …If you're interested in seeing how it maps to TLA+, you can find much of that in this document: https://github.com/informalsystems/quint/blob/main/doc/lang.... We still have lots of ways to improve, and -- we think -- lots of opportunities…
    comment by abathologist · 2023-12-20 · in Quint: A specification language based on the temporal logic of actions (TLA)
  13. ▲ 110
    Quint: A specification language based on the temporal logic of actions (TLA)
    story by abathologist · 2023-12-19 · 35 comments
  14. ▲ 5
    Quint – a new language based on TLA+ with modern syntax and developer tooling
    story by mmmmkay · 2023-07-09 · 1 comment
  15. It's still in pretty early development, but you may be interested in https://github.com/informalsystems/quint > It combines the robust theoretical basis of the Temporal Logic of Actions (TLA) with state-of-the-art static analysis and…
    comment by abathologist · 2023-06-29 · in Programming languages going above and beyond