fizzbee-io / fizzbeeLinks
Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
☆259Updated last week
Alternatives and similar repositories for fizzbee
Users that are interested in fizzbee are comparing it to the libraries listed below
Sorting:
- This library provides an implementation of the DBSP language for incremental streaming computations.☆139Updated this week
- Learn TLA+ for free! No prior experience necessary!☆226Updated 7 months ago
- Streaming and Incremental Computation Framework☆242Updated 2 years ago
- APALACHE: symbolic model checker for TLA+ and Quint☆502Updated this week
- Interactive playground for exploring and sharing TLA+ specifications in the browser.☆143Updated 2 weeks ago
- A curated list of awesome deterministic simulation testing resources 😎☆257Updated 4 months ago
- An executable specification language with delightful tooling based on the temporal logic of actions (TLA)☆1,065Updated this week
- A curated list of TLA+ resources.