BlockingQueue Alternatives

Similar projects and alternatives to BlockingQueue

• DrTLAPlus

  1 777 1.8 TLA BlockingQueue VS DrTLAPlus

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

  

• pgo

  2 167 3.7 TLA BlockingQueue VS pgo

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

  

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

  

• apalache

  6 409 9.5 Scala BlockingQueue VS apalache

  APALACHE: symbolic model checker for TLA+ and Quint

  

• advent-of-tla

  1 7 0.0 TLA BlockingQueue VS advent-of-tla

  AoC goals in TLA+

• tlaplus

  38 2,201 9.1 Java BlockingQueue VS tlaplus

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

  

• TLAplus

  1 20 0.0 TLA BlockingQueue VS TLAplus

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

• CommunityModules

  3 253 7.1 TLA BlockingQueue VS CommunityModules

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

  

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

  

• Examples

  7 1,223 8.3 TLA BlockingQueue VS Examples

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

  

• ewd998

  2 46 0.0 TLA BlockingQueue VS ewd998

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