fizzbee-io/fizzbee

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

alloy alloy-analyzer formal-languages formal-methods formal-verification ltl pluscal prism tla tla-plus tlaplus

1 Open Issue Need Help Last updated: Sep 7, 2025

Open Issues Need Help

VS Code Plugin about 2 months ago

enhancement help wanted

251

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

Python

#alloy#alloy-analyzer#formal-languages#formal-methods#formal-verification#ltl#pluscal#prism#tla#tla-plus#tlaplus