3 results found Sort:

44
208
unknown
30
The Ultimate program analysis framework.
Created 2015-09-10
29,907 commits to dev branch, last one a day ago
10
179
apache-2.0
5
Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
Created 2024-03-26
130 commits to main branch, last one 6 days ago
10
68
mit
5
Natural Language (NL) to Linear Temporal Logic (LTL)
Created 2022-09-15
92 commits to main branch, last one about a year ago