DrTLAPlus Alternatives

Similar projects and alternatives to DrTLAPlus

• tlaplus

  38 2,201 9.1 Java DrTLAPlus VS tlaplus

  TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

  

• BlockingQueue

  1 480 0.0 TLA DrTLAPlus VS BlockingQueue

  Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history! (by lemmy)

• InfluxDB

  www.influxdata.com sponsored

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• people

  1 - - DrTLAPlus VS people

• pgo

  2 167 3.7 TLA DrTLAPlus VS pgo

  PGo is a source to source compiler from Modular PlusCal specs into Go programs.

  

• ewd998

  2 46 0.0 TLA DrTLAPlus VS ewd998

  Distributed termination detection on a ring, due to Shmuel Safra:

  

• CommunityModules

  3 253 7.1 TLA DrTLAPlus VS CommunityModules

  TLA+ snippets, operators, and modules contributed and curated by the TLA+ community

  

• awesome-tlaplus

  1 120 5.0 DrTLAPlus VS awesome-tlaplus

  A curated list of TLA+ resources.

  

• 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.

  

• Examples

  7 1,217 8.3 TLA DrTLAPlus VS Examples

  A collection of TLA⁺ specifications of varying complexities (by tlaplus)