Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Tlaplus Open Source Projects

Open source projects categorized as Tlaplus
Categories > Tlaplus
Examples ⭐ 1,210
A collection of TLA⁺ specifications of varying complexities
most recent commit a month ago
Drtlaplus ⭐ 652
Dr. TLA+ series - learn an algorithm and protocol, study a specification
most recent commit 2 years ago
Quint ⭐ 540
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
dependent packages 3total releases 29most recent commit 3 months agonpm @informalsystems/quint} Downloads
Blockingqueue ⭐ 461
Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
most recent commit a year ago
Practical Fm ⭐ 437
A gently curated list of companies using verification formal methods in industry
most recent commit 6 months ago
Apalache ⭐ 387
APALACHE: symbolic model checker for TLA+ and Quint
most recent commit 3 months ago
Communitymodules ⭐ 243
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
most recent commit 3 months ago
Tlaplus Graph Explorer ⭐ 191
A static web application to explore and animate a TLA+ state graph.
most recent commit 6 months ago
Learntla V2 ⭐ 146
Learn TLA+ for free! No prior experience necessary!
most recent commit 5 months ago
Atomkraft ⭐ 62
Advanced fuzzing via Model Based Testing for Cosmos blockchains
dependent packages 1total releases 11most recent commit a year agopypi modelator} Downloads
Tree Sitter Tlaplus ⭐ 50
A tree-sitter grammar for TLA⁺ and PlusCal
dependent packages 2total releases 20most recent commit 4 months agonpm @tlaplus/tree-sitter-tlaplus} Downloads
Tlacli ⭐ 47
A script for running TLA+/TLC from the command line
total releases 1most recent commit 4 years ago
Modelator ⭐ 43
Model-based testing tool
dependent packages 2total releases 10most recent commit a year agocargo modelator} Downloads
Tla Plus Resources ⭐ 42
Personal reading list/reference re: TLA+
most recent commit 6 years ago
Ewd998 ⭐ 41
Distributed termination detection on a ring, due to Shmuel Safra:
most recent commit 9 months ago
Ewd998 ⭐ 41
Distributed termination detection on a ring, due to Shmuel Safra: https://www.cs.utexas.edu/users/EWD/ewd09xx/EWD998
most recent commit a year ago
Lets Prove Blocking Queue ⭐ 33
Proving a blocking queue deadlock free in a dozen different ways
most recent commit 3 years ago
Tla Web ⭐ 32
TLA+ Web Explorer.
most recent commit 3 months ago
Imperial Computing Notes ⭐ 30
A selection of textbook-like course notes for the Imperial College Computing modules.
most recent commit 3 months ago
Tla Tools ⭐ 27
TLA+ tools for Emacs
most recent commit a year ago
Tla Linearizability ⭐ 27
Reading the linearizability paper with TLA+
most recent commit 2 years ago
Modelator Py ⭐ 26
Utilities for the TLA+ ecoystem and model-based testing using TLA+.
dependent packages 1total releases 17most recent commit a year agopypi modelator-py} Downloads
Fbpmn ⭐ 23
🔬 formal tools for BPMN
most recent commit 2 years ago
The 5 Most Depended On Tlaplus Open Source Projects
Quint ⭐ 540
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
dependent packages 3total releases 29latest release December 05, 2023most recent commit 3 months agonpm @informalsystems/quint} Downloads
Tree Sitter Tlaplus ⭐ 50
A tree-sitter grammar for TLA⁺ and PlusCal
dependent packages 2total releases 20latest release November 19, 2023most recent commit 4 months agonpm @tlaplus/tree-sitter-tlaplus} Downloads
Modelator ⭐ 43
Model-based testing tool
dependent packages 2total releases 10latest release January 17, 2022most recent commit a year agocargo modelator} Downloads
Atomkraft ⭐ 62
Advanced fuzzing via Model Based Testing for Cosmos blockchains
dependent packages 1total releases 11latest release July 25, 2022most recent commit a year agopypi modelator} Downloads
Modelator Py ⭐ 26
Utilities for the TLA+ ecoystem and model-based testing using TLA+.
dependent packages 1total releases 17latest release November 18, 2022most recent commit a year agopypi modelator-py} Downloads
The 7 Latest Releases In Tlaplus Open Source Projects
Quint ⭐ 540
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
dependent packages 3total releases 29latest release December 05, 2023most recent commit 3 months agonpm @informalsystems/quint} Downloads
Tree Sitter Tlaplus ⭐ 50
A tree-sitter grammar for TLA⁺ and PlusCal
dependent packages 2total releases 20latest release November 19, 2023most recent commit 4 months agonpm @tlaplus/tree-sitter-tlaplus} Downloads
Modelator Py ⭐ 26
Utilities for the TLA+ ecoystem and model-based testing using TLA+.
dependent packages 1total releases 17latest release November 18, 2022most recent commit a year agopypi modelator-py} Downloads
Atomkraft ⭐ 62
Advanced fuzzing via Model Based Testing for Cosmos blockchains
dependent packages 1total releases 11latest release July 25, 2022most recent commit a year agopypi modelator} Downloads
Modelator ⭐ 43
Model-based testing tool
dependent packages 2total releases 10latest release January 17, 2022most recent commit a year agocargo modelator} Downloads
Tla2json ⭐ 16
Convert TLA+ output (and values) into JSON
total releases 2latest release March 02, 2021most recent commit 3 years ago
Tlacli ⭐ 47
A script for running TLA+/TLC from the command line
total releases 1latest release February 04, 2020most recent commit 4 years ago
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.