Awesome Open Source

Programming Languages

Search results for algorithms tla

1 search results found

Tlaplus ⭐ 2,154

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Drtlaplus ⭐ 652

Dr. TLA+ series - learn an algorithm and protocol, study a specification

Raft.tla ⭐ 217

TLA+ specification for the Raft consensus algorithm

Project has been moved

Pluscal Examples ⭐ 38

Algorithm examples in PlusCal, the algorithm language of Lamport's TLA+

Lets Prove Blocking Queue ⭐ 33

Proving a blocking queue deadlock free in a dozen different ways

Allconcur ⭐ 20

AllConcur: Algorithm for LeaderLess CONCURrent atomic broadcast

Awesome Tlaplus ⭐ 17

A curated list of TLA+ resources.

Cornerstone ⭐ 16

A C++ Raft implementation, project moved

A cellular network of trust for implementing open source money based on private credit; Solves several issues associated with blockchain systems. Most notably, MyCHIPs is infinitely scalable and fully distributed.

On Epaxos Correctness ⭐ 9

On the correctness of Egalitarian Paxos

Paxosmadesimple ⭐ 9

A TLA+ formalization of the algorithm described in "Paxos Made Simple"

TLA+ specification for the Raft consensus algorithm (with Pre-Vote)

Related Searches

Python Algorithms (9,749)

C Plus Plus Algorithms (6,250)

Algorithms Data Structure (4,627)

Java Algorithms (4,524)

Javascript Algorithms (3,576)

C Algorithms (2,341)

Jupyter Notebook Algorithms (2,326)

Algorithms Graph (1,764)

Algorithms Sort (1,670)

Matlab Algorithms (1,381)

1-1 of 1 search results

Privacy | About | Terms | Follow Us On Twitter

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