Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Tla Open Source Projects

Open source projects categorized as Tla
Categories > Tla
Tlaplus ⭐ 2,154
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
most recent commit 3 months ago
Awesome Consensus ⭐ 1,504
Awesome list for Paxos and friends
most recent commit 3 years ago
Tla Rust ⭐ 831
writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+
most recent commit 7 years ago
Drtlaplus ⭐ 652
Dr. TLA+ series - learn an algorithm and protocol, study a specification
most recent commit 2 years ago
Ghostferry ⭐ 619
The swiss army knife of live data migrations
total releases 6most recent commit 6 months ago
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 10 months ago
Practical Fm ⭐ 437
A gently curated list of companies using verification formal methods in industry
most recent commit 6 months ago
Scalardb ⭐ 434
Universal transaction manager
dependent packages 3total releases 78most recent commit 3 months ago
Apalache ⭐ 387
APALACHE: symbolic model checker for TLA+ and Quint
most recent commit 3 months ago
Vscode Tlaplus ⭐ 327
TLA+ language support for Visual Studio Code
most recent commit 2 months ago
Js ⭐ 289
Gryadka is a minimalistic master-master replicated consistent key-value storage based on the CASPaxos protocol
dependent packages 2total releases 3most recent commit 6 years agonpm gryadka} Downloads
Learntla ⭐ 279
A TLA+ guide
most recent commit 2 years ago
Tla Plus ⭐ 275
most recent commit 8 months ago
Azure Cosmos Tla ⭐ 252
Azure Cosmos TLA+ specifications
most recent commit 4 months ago
Communitymodules ⭐ 243
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
most recent commit 3 months ago
Practical Tla Plus ⭐ 239
Source Code for 'Practical TLA+' by Hillel Wayne
most recent commit 2 years ago
Raft.tla ⭐ 217
TLA+ specification for the Raft consensus algorithm
most recent commit 4 years ago
Jraft ⭐ 166
Yet another Raft Consensus implementation
most recent commit 2 years ago
Tla Bin ⭐ 149
Command line binaries for the TLA+ language
most recent commit a year ago
Learntla V2 ⭐ 146
Learn TLA+ for free! No prior experience necessary!
most recent commit 4 months ago
Elasticsearch Formal Models ⭐ 143
Formal models of core Elasticsearch algorithms
most recent commit 5 years ago
Salt ⭐ 138
total releases 1most recent commit 4 years ago
Pgo ⭐ 136
PGo is a source to source compiler from Modular PlusCal specs into Go programs.
most recent commit a year ago
The 6 Most Depended On Tla Open Source Projects
Assertions ⭐ 9
loads of useful assertion functions
dependent packages 35total releases 20latest release September 17, 2015most recent commit 5 years agonpm assertions} Downloads
Aiorwlock ⭐ 128
Read/Write Lock - synchronization primitive for asyncio
dependent packages 19total releases 13latest release January 18, 2022most recent commit 3 months agopypi aiorwlock} Downloads
Scalardb ⭐ 434
Universal transaction manager
dependent packages 3total releases 78latest release August 07, 2023most recent commit 3 months ago
Js ⭐ 289
Gryadka is a minimalistic master-master replicated consistent key-value storage based on the CASPaxos protocol
dependent packages 2total releases 3latest release June 05, 2017most recent commit 6 years agonpm gryadka} Downloads
Modelator ⭐ 43
Model-based testing tool
dependent packages 2total releases 10latest release January 17, 2022most recent commit 10 months agocargo 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 10 Latest Releases In Tla Open Source Projects
Scalardb ⭐ 434
Universal transaction manager
dependent packages 3total releases 78latest release August 07, 2023most recent commit 3 months ago
Sphinxcontrib Globalsubs ⭐ 6
Sphinx global substitutions extension
total releases 2latest release January 13, 2023most recent commit a year ago
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
Aiorwlock ⭐ 128
Read/Write Lock - synchronization primitive for asyncio
dependent packages 19total releases 13latest release January 18, 2022most recent commit 3 months agopypi aiorwlock} Downloads
Modelator ⭐ 43
Model-based testing tool
dependent packages 2total releases 10latest release January 17, 2022most recent commit 10 months agocargo modelator} Downloads
Ghostferry ⭐ 619
The swiss army knife of live data migrations
total releases 6latest release April 15, 2021most recent commit 6 months ago
Tla2json ⭐ 16
Convert TLA+ output (and values) into JSON
total releases 2latest release March 02, 2021most recent commit 3 years ago
Bip32_template_python_implementation ⭐ 6
Implementation of the parser/matcher for BIP32 path templates
total releases 4latest release October 27, 2020most recent commit a year 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.