Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 4 Rust Distributed Systems Paxos Open Source Projects

Open source projects categorized as Rust Distributed Systems Paxos
Categories > Software Architecture > Distributed Systems
Categories > Networking > Paxos
Stateright ⭐ 1,473
A model checker for implementing distributed systems.
dependent packages 1total releases 50most recent commit 3 months agocargo stateright} Downloads
Omnipaxos ⭐ 145
OmniPaxos is a distributed log implemented as a Rust library.
dependent packages 1total releases 4most recent commit 5 months agocargo omnipaxos_macros} Downloads
Paxos Rs ⭐ 68
Paxos implementation in Rust
most recent commit a year ago
Paxos ⭐ 50
Distributed consensus protocol for replicated state machines
most recent commit 5 years ago
The 2 Most Depended On Rust Distributed Systems Paxos Open Source Projects
Stateright ⭐ 1,473
A model checker for implementing distributed systems.
dependent packages 1total releases 50latest release August 27, 2023most recent commit 3 months agocargo stateright} Downloads
Omnipaxos ⭐ 145
OmniPaxos is a distributed log implemented as a Rust library.
dependent packages 1total releases 4latest release November 06, 2023most recent commit 5 months agocargo omnipaxos_macros} Downloads
The 2 Latest Releases In Rust Distributed Systems Paxos Open Source Projects
Omnipaxos ⭐ 145
OmniPaxos is a distributed log implemented as a Rust library.
dependent packages 1total releases 4latest release November 06, 2023most recent commit 5 months agocargo omnipaxos_macros} Downloads
Stateright ⭐ 1,473
A model checker for implementing distributed systems.
dependent packages 1total releases 50latest release August 27, 2023most recent commit 3 months agocargo stateright} Downloads
Popular Software Architecture Categories
Mvc
Dependency Injection
Mvvm
Domain Driven Design
Flux
Mvp
Design Pattern
Distributed Systems
Cqrs
Viewmodel
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.