SaaSHub helps you find the best software and product alternatives Learn more →
Top 14 tlaplu Open-Source Projects
A collection of TLA+ specifications of varying complexities (by tlaplus)Project mention: Formal definitions of "events" and "messages" in distributed systems? | reddit.com/r/compsci | 2022-12-31
However, for example, Lesslie Lamport elegantly modeled distributed transactions without introducing the concepts of events or messages, focusing only on the state of the participants.
Dr. TLA+ series - learn an algorithm and protocol, study a specification
Clean code begins in your IDE with SonarLint. Up your coding game and discover issues early. SonarLint is a free plugin that helps you find & fix bugs and security issues from the moment you start writing code. Install from your favorite IDE marketplace today.
Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history! (by lemmy)
A gently curated list of companies using verification formal methods in industryProject mention: We Need Simpler Types (speculations on what can be improved in future type systems and on erasing the boundaries between types and values) | reddit.com/r/ProgrammingLanguages | 2022-09-14
https://github.com/ligurio/practical-fm Look for Coq, Agda, Idris, MS - F*.
APALACHE: symbolic model checker for TLA+Project mention: Learn TLA+ | news.ycombinator.com | 2022-09-28
Anyone know of some good free software TLA+ model checkers? The "Other Tooling" mentions one alternative checker, https://apalache.informal.systems/, but that's all I could find. Thanks.
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
A static web application to explore and animate a TLA+ state graph.
Access the most powerful time series database as a service. Ingest, store, & analyze all types of time series data in a fully-managed, purpose-built database. Keep data forever with low-cost storage and superior data compression.
A tree-sitter grammar for TLA⁺ and PlusCalProject mention: Writing a TLA⁺ tree-sitter grammar: my foray into free software | news.ycombinator.com | 2023-01-12
Not an emacs person myself (yet!) - Carl Thuringer created tla-mode that apparently uses the grammar: https://github.com/carlthuringer/tla-mode
Haven't tested it out myself. Happy to take any PRs if emacs needs its own set of query files; they would live in https://github.com/tlaplus-community/tree-sitter-tlaplus/tre... and they can be added to CI runs to ensure they stay in sync with changes to the parser.
Distributed termination detection on a ring, due to Shmuel Safra:Project mention: Announcement: Public TLA+ workshop at Craft Conf in Budapest | reddit.com/r/tlaplus | 2023-03-08
I am excited to announce that I will be conducting a two-day TLA+ workshop at Craft Conf Budapest in May. If you or your colleagues happen to be in the area, I highly recommend considering attending. You can find more information about the workshop on GitHub, and a report on the workshop has been recently published in FMTea2023.
Utilities for the TLA+ ecoystem and model-based testing using TLA+.Project mention: Modelator-py: Utilities for the TLA+ ecoystem | news.ycombinator.com | 2022-03-31
TLA+ questions, answers, and experiments (by Isaac-DeFrain)
Generate (message) sequence diagrams from TLA+ state tracesProject mention: If you deal in state machines, you might enjoy StateSmith. It compiles diagrams to C or C++ with zero dependencies. Free & opensource. | reddit.com/r/cpp | 2022-09-19
I've previously written this tool to generate sequence diagrams from TLA+ models (by having tlc first generate state transition graphs). It visualizes clearly how it actually takes time for a message to end up from the sender to the client.
Temporal Logic of Actions Modeling for Python
AoC goals in TLA+
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
tlaplus related posts
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 | reddit.com/r/compsci | 31 Dec 2022
3 projects | news.ycombinator.com | 28 Sep 2022
Apalache – Symbolic Model Checker for TLA+
1 project | news.ycombinator.com | 27 Sep 2022
We Need Simpler Types (speculations on what can be improved in future type systems and on erasing the boundaries between types and values)
2 projects | reddit.com/r/ProgrammingLanguages | 14 Sep 2022
Interested in pursuing a PhD in Formal Methods
1 project | reddit.com/r/formalmethods | 29 Jul 2022
Beginner Question on Model Checking
1 project | reddit.com/r/tlaplus | 28 Jul 2022
A note from our sponsor - #<SponsorshipServiceOld:0x00007f160ce2d5f0>
www.saashub.com | 22 Mar 2023
What are some of the best open-source tlaplu projects? This list will help you: