Fizzbee Alternatives

Similar projects and alternatives to fizzbee based on common topics and language

• advent-of-tla

  1 7 0.0 TLA fizzbee VS advent-of-tla

  AoC goals in TLA+

• timewinder

  1 0 6.3 Starlark fizzbee VS timewinder

  Temporal Logic of Actions in Rust via Starlark

  

• WorkOS

  workos.com sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  

• modelator-py

  2 28 0.0 Python fizzbee VS modelator-py

  Utilities for the TLA+ ecoystem and model-based testing using TLA+.

  

• TLAplus

  1 20 0.0 TLA fizzbee VS TLAplus

  TLA+ questions, answers, and experiments (by Isaac-DeFrain)

• practical-fm

  4 460 4.1 fizzbee VS practical-fm

  A gently curated list of companies using verification formal methods in industry

• Styleformer

  3 467 0.0 Python fizzbee VS Styleformer

  A Neural Language Style Transfer framework to transfer natural language text smoothly between fine-grained language styles like formal/casual, active/passive, and many more. Created by Prithiviraj Damodaran. Open to pull requests and other forms of collaboration.