TLA tla

Open-source TLA projects categorized as tla
Edit details
Topics: tlaplus model-checking Formal Methods Java Go
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured

Top 5 TLA tla Projects

  • BlockingQueue

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

  • pgo

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

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

    InfluxDB logo

  • tla-web

    Interactive, web-based environment for exploring TLA+ specifications.

  • TLAplus

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

  • advent-of-tla

    AoC goals in TLA+

  • SaaSHub

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

    SaaSHub logo
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).

TLA tla related posts

  • Is “x' = f(x)” a programming paradigm?

    1 project | /r/compsci | 8 Nov 2022

  • Advent of TLA+

    1 project | /r/tlaplus | 22 Oct 2021

Index

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

Project Stars
1 BlockingQueue 481
2 pgo 168
3 tla-web 52
4 TLAplus 20
5 advent-of-tla 7

Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com