4 ms·
https://FizzBee.io https://FizzBee.io is not just a syntax transpiler, but a complete implementation. It uses starlark language (a Python variant) for specifica
by jayaprabhakar 2y ago
https://FizzBee.io https://FizzBee.io is not just a syntax transpiler, but a complete implementation. It uses starlark language (a Python variant) for specification.
In addition to behavioral modeling like TLA+, Quint etc, it supports probabilistic and performance modeling.
Generates state and sequence diagrams automatically.