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. Learn more →
Top 12 tla Open-Source Projects
-
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)
-
-
-
-
-
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.
-
-
-
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 -
-
tla related posts
- Holiday protocols: secret Santa with Quint
- Quint: A specification language based on the temporal logic of actions (TLA)
- Concurrent Data-structure Design Walk-Through
- In Which I Claim Rich Hickey Is Wrong
- Programming Languages Going Above and Beyond
- Ask HN: How you understand TLA+ and how you use TLA+ in your projects?
- A collection of lock-free data structures written in standard C++11
-
A note from our sponsor - InfluxDB
www.influxdata.com | 29 Mar 2024
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 |