3 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer Last Updated
tctl 1.18.0-2 0 0.00 Temporal CLI orphan 2023-09-11 19:24 (UTC)
quint-bin 0.21.1-1 0 0.00 An executable specification language with delightful tooling based on the temporal logic of actions (TLA) rnbguy 2024-08-20 08:08 (UTC)
quint 0.22.4-1 0 0.00 An executable specification language with design and tooling focused on usability. It is based on the Temporal Logic of Actions rnbguy 2024-11-19 16:02 (UTC)

3 packages found. Page 1 of 1.