fizzbee-io/fizzbee

Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications

2 best points · 1 comments · 1 Hacker News post · 371 GitHub stars · View on GitHub

Hacker News discussions

• FizzBee: A Python like language for formal specification (2 points, 1 comments, by quadrature, 2024-03-28)