3 results found Sort:
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
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