Ewd998 Alternatives

Similar projects and alternatives to ewd998

• TLAplus

  1 20 0.0 TLA ewd998 VS TLAplus

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

• BlockingQueue

  1 480 0.0 TLA ewd998 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.

  

• DrTLAPlus

  1 777 1.8 TLA ewd998 VS DrTLAPlus

  Dr. TLA+ series - learn an algorithm and protocol, study a specification

  

• Examples

  7 1,223 8.3 TLA ewd998 VS Examples

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

  

• apalache

  6 409 9.5 Scala ewd998 VS apalache

  APALACHE: symbolic model checker for TLA+ and Quint

  

• CommunityModules

  3 253 7.1 TLA ewd998 VS CommunityModules

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

  

• advent-of-tla

  1 7 0.0 TLA ewd998 VS advent-of-tla

  AoC goals in TLA+

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