3 results found Sort:

informalsystems
quint informalsystems
45
893
apache-2.0
26
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
quint tlaplus apalache language verification specification formal-methods
Created 2021-05-28
3,724 commits to main branch, last one 19 hours ago
apalache-mc
apalache apalache-mc
42
454
apache-2.0
6
APALACHE: symbolic model checker for TLA+ and Quint
smt tla quint tlaplus apalache verification model-checking
Created 2015-07-03
6,432 commits to main branch, last one 2 months ago
Xaven-AI-Labs
xaven-sdk Xaven-AI-Labs
12
24
mit
9
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.
ai sdk quint shopping ai-powered e-commerce typescript optimization
Created 2025-02-07
8 commits to main branch, last one about a month ago