Paxosstore Tla

Specifying and Verifying the consensus algorithm in PaxosStore using TLA+
Alternatives To Paxosstore Tla
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Ensembleobjectdetection66
3 years ago10mitPython
Gitconsensuscli47
12 years ago14September 15, 20193mitPython
Automate Open Source Governance
Dcps41
7 months ago
Decred Change Proposals (DCPs).
Groupthink35
4 months ago94mitRuby
A collaborative democratic platform built atop GitHub, designed for open policymaking and manifesto writing.
Mokka22122 years ago31February 13, 20224agpl-3.0TypeScript
Mokka consensus
Vodle21
3 months ago53agpl-3.0JavaScript
We develop an interactive, consensus-oriented group decision app
Epitome Django19
3 years ago34agpl-3.0JavaScript
Epitome implementation in django.
Dlux_open_token18
a year agomitJavaScript
DLUX distributed deterministic finite state automata. Built for HIVE to take advantage of free transactions using multi-sig and escrow for security.
Consensus1737 years ago8October 30, 20135mitCSS
vote on topics for your next big meeting
Hashgraph Database17
7 years agomitGo
An Analysis Of Hashgraph Effectivness In The Context Of Distributed Databases
Alternatives To Paxosstore Tla
Select To Compare


Alternative Project Comparisons
Popular Consensus Projects
Popular Voting Projects
Popular Data Storage Categories
Related Searches

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Consensus
Voting
Consensus Algorithm