An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
-
Updated
Mar 12, 2025 - TypeScript
#
quint
Here are 5 public repositories matching this topic...
APALACHE: symbolic model checker for TLA+ and Quint
-
Updated
Jan 22, 2025 - Scala
Xaven AI SDK enables developers to integrate our AI-powered shopping optimization technology, helping users find the best deals, fastest shipping, and the smartest shopping strategies.
-
Updated
Feb 11, 2025 - TypeScript
Improve this page
Add a description, image, and links to the quint topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the quint topic, visit your repo's landing page and select "manage topics."