3 results found Sort:

39
861
apache-2.0
25
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
Created 2021-05-28
3,603 commits to main branch, last one a day ago
41
449
apache-2.0
8
APALACHE: symbolic model checker for TLA+ and Quint
Created 2015-07-03
6,432 commits to main branch, last one 28 days ago
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.
Created 2025-02-07
8 commits to main branch, last one 8 days ago