CommunityModules Alternatives
Similar projects and alternatives to CommunityModules
-
-
practical-fm
A gently curated list of companies using verification formal methods in industry
-
InfluxDB
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.
-
BlockingQueue
Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history! (by lemmy)
-
Examples
A collection of TLA⁺ specifications of varying complexities (by tlaplus)
-
DrTLAPlus
Dr. TLA+ series - learn an algorithm and protocol, study a specification
-
pgo
PGo is a source to source compiler from Modular PlusCal specs into Go programs.
-
ewd998
Distributed termination detection on a ring, due to Shmuel Safra:
-
WorkOS
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.
CommunityModules reviews and mentions
-
Generate (message) sequence diagrams from TLA+ state traces
Adding a vector clock is relatively straightforward (see e.g. https://github.com/tlaplus/Examples/commit/ee10c6ed1c65f1002c8ad402edceeffcf1a833e). For PlusCal, the vector clock can be computed from the PC variable: https://github.com/tlaplus/CommunityModules/blob/master/modules/ShiViz.tla
Stats
tlaplus/CommunityModules is an open source project licensed under MIT License which is an OSI approved license.
The primary programming language of CommunityModules is TLA.
