raft_maude

shchae7

Maude model of Raft Algorithm

raft

View on GitHub

1 Stars

0 Forks

1 Watchers

Cost to Build

$640

Market Value

$500

How is this calculated?

Growth over time

6 data points · 2021-05-01 → 2023-04-01

Stars Forks Watchers

💬

How do you feel about this project?

Ask AI about raft_maude

Question copied to clipboard

What is the shchae7/raft_maude GitHub project? Description: "Maude model of Raft Algorithm". Explain what it does, its main use cases, key features, and who would benefit from using it.

Question is copied to clipboard — paste it after the AI opens.

How to clone raft_maude

Clone via HTTPS

git clone https://github.com/shchae7/raft_maude.git

Clone via SSH

[email protected]:shchae7/raft_maude.git

Download ZIP

Download master.zip

Found an issue?

Report bugs or request features on the raft_maude issue tracker:

Open GitHub Issues

Similar to raft_maude

etcd tikv hraftd elasticell permazen patroni rqlite atomix raft-zh_cn summitdb braft logcabin awesome-consensus tidis raft.github.io copycat finn raft-rs PySyncObj dissertation distributed-computing Mushroom raftos raft-java floyd raft xenon ra x0 verdi-raft