Top 17 tlaplu Open-Source Projects

• Examples

  7 1,223 8.3 TLA

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

  

Project mention: Suggestions for model checking? | /r/tlaplus | 2023-07-12

I need to write a small case study using TLA+. Where can I find some distributed/concurrent algorithm or system that is not too complex and hasn't been specified yet? There are so many examples already covered in the official repository alone that I'm out of ideas.

• DrTLAPlus

  1 777 1.8 TLA

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

  

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

  

• quint

  6 582 9.9 TypeScript

  An executable specification language with delightful tooling based on the temporal logic of actions (TLA) (by informalsystems)

  

Project mention: Holiday protocols: secret Santa with Quint | news.ycombinator.com | 2023-12-21

Hi! I wrote a blogpost exploring a formal specification in Quint [1] for the secret santa game, and verifying some of its properties with Apalache [2].

Hope you enjoy it, and any feedback is welcome. Happy holidays!

[1]: https://github.com/informalsystems/quint

• BlockingQueue

  1 480 0.0 TLA

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

• practical-fm

  4 460 4.1

  A gently curated list of companies using verification formal methods in industry

• apalache

  6 409 9.5 Scala

  APALACHE: symbolic model checker for TLA+ and Quint

  

Project mention: Holiday protocols: secret Santa with Quint | news.ycombinator.com | 2023-12-21

• CommunityModules

  3 253 7.1 TLA

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

  

• 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-graph-explorer

  3 193 3.0 JavaScript

  A static web application to explore and animate a TLA+ state graph.

• fizzbee

  2 63 5.9 Python

  Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications

  

Project mention: FizzBee: Open-source formal methods tool that's not hard | news.ycombinator.com | 2024-04-01

• tree-sitter-tlaplus

  2 52 5.3 C

  A tree-sitter grammar for TLA⁺ and PlusCal

  

• ewd998

  2 46 0.0 TLA

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

  

• tla-web

  1 37 9.2 TLA

  Web-based environment for exploring TLA+ specifications.

• modelator-py

  2 28 0.0 Python

  Utilities for the TLA+ ecoystem and model-based testing using TLA+.

  

• TLAplus

  1 20 0.0 TLA

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

• tlsd

  2 12 0.0 Python

  Generate (message) sequence diagrams from TLA+ state traces

• advent-of-tla

  1 7 0.0 TLA

  AoC goals in TLA+

• timewinder

  1 0 6.3 Starlark

  Temporal Logic of Actions in Rust via Starlark

  

• SaaSHub

  www.saashub.com sponsored

  SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

  

tlaplus related posts

• Holiday protocols: secret Santa with Quint
  3 projects | news.ycombinator.com | 21 Dec 2023
• Quint: A specification language based on the temporal logic of actions (TLA)
  5 projects | news.ycombinator.com | 19 Dec 2023
• Suggestions for model checking?
  1 project | /r/tlaplus | 12 Jul 2023
• Quint – a new language based on TLA+ with modern syntax and developer tooling
  1 project | news.ycombinator.com | 9 Jul 2023
• How to specify "After P is true, Q is always true"?
  1 project | /r/tlaplus | 30 Mar 2023
• Writing a TLA⁺ tree-sitter grammar: my foray into free software
  2 projects | news.ycombinator.com | 12 Jan 2023
• Formal definitions of "events" and "messages" in distributed systems?
  1 project | /r/compsci | 31 Dec 2022
• A note from our sponsor - WorkOS
  workos.com | 25 Apr 2024

  The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning. Learn more →

Index

Sponsored

SaaSHub - Software Alternatives and Reviews

SaaSHub helps you find the best software and product alternatives

www.saashub.com