1 result found Sort:

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