Tla-web Alternatives

Similar projects and alternatives to tla-web based on common topics and language

• BlockingQueue

  1 481 0.0 TLA tla-web 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)

• apalache

  6 410 9.4 Scala tla-web VS apalache

  APALACHE: symbolic model checker for TLA+ and Quint

  

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

  

• TLAplus

  1 20 0.0 TLA tla-web VS TLAplus

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

• advent-of-tla

  1 7 0.0 TLA tla-web VS advent-of-tla

  AoC goals in TLA+

• ewd998

  2 46 0.0 TLA tla-web VS ewd998

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

  

• sqa-wiki

  2 2,218 3.6 tla-web VS sqa-wiki

  My own notes (drafts mostly) about software quality

• tlaplus

  38 2,208 9.1 Java tla-web VS tlaplus

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

  

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