| | Quint LLM Kit for writing and using formal specifications (github.com/informalsystems) |
| 11 points by bugarela 40 days ago | past |
|
| | Unclog – Build your changelog from a structured collection of independent files (github.com/informalsystems) |
| 2 points by romac on June 28, 2024 | past |
|
| | Holiday protocols: secret santa with Quint (github.com/informalsystems) |
| 8 points by bugarela on Dec 21, 2023 | past | 1 comment |
|
| | Quint: A specification language based on the temporal logic of actions (TLA) (github.com/informalsystems) |
| 110 points by abathologist on Dec 19, 2023 | past | 35 comments |
|
| | Quint – a new language based on TLA+ with modern syntax and developer tooling (github.com/informalsystems) |
| 5 points by mmmmkay on July 9, 2023 | past | 1 comment |
|
| | Modelator-py: Utilities for the TLA+ ecoystem (github.com/informalsystems) |
| 11 points by todsacerdoti on April 1, 2022 | past |
|
