tla

Top 12 tla Open-Source Projects

  • sqa-wiki

    My own notes (drafts mostly) about software quality

    Project mention: 10 Github Repositories for Software Testers | dev.to | 2023-10-21

    4. SQA wiki

  • tlaplus

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

    Project mention: Quint: A specification language based on the temporal logic of actions (TLA) | news.ycombinator.com | 2023-12-19

    ```

    https://github.com/tlaplus/tlaplus/blob/master/tlatools/org....

    In any case, our whole team thinks TLA is great, and we're happy people like you and Ron find it so useful and insightful. We also think it is a very insightful.

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

  • apalache

    APALACHE: symbolic model checker for TLA+ and Quint

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

    TLA+ language support for Visual Studio Code

  • pgo

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

  • tla-web

    TLA+ Web Explorer.

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

  • modelator-py

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

  • TLAplus

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

  • fizzbee

    Easiest formal specification language ever! Designed for distributed systems developers to be used for everyday applications.

    Project mention: FizzBee: A Python like language for formal specification | news.ycombinator.com | 2024-03-28
  • advent-of-tla

    AoC goals in TLA+

  • timewinder

    Temporal Logic of Actions in Rust via Starlark

NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020). The latest post mention was on 2024-03-28.

tla related posts

Index

What are some of the best open-source tla projects? This list will help you:

Project Stars
1 sqa-wiki 2,200
2 tlaplus 2,188
3 BlockingQueue 475
4 apalache 397
5 vscode-tlaplus 326
6 pgo 163
7 tla-web 33
8 modelator-py 28
9 TLAplus 20
10 fizzbee 7
11 advent-of-tla 6
12 timewinder 0
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com