Commits

Commits on Jun 3, 2024

Push new mention of TLA+ spec into dissertation paragraph
ongardie
committedJun 3, 2024
implementations.json: Sort tarantool entry
ongardie
committedJun 3, 2024

Commits on May 30, 2024

Add a link to the formal specification in TLA+
ligurio
committedMay 30, 2024
implementations: add tarantool
ligurio
committedMay 30, 2024

Commits on May 24, 2024

Merge pull request #203 from zwkno1/main
ongardie
committedMay 24, 2024
add raftpp
zwkno1
committedMay 24, 2024

Commits on May 15, 2024

Merge pull request #202 from raft/userstudy-mp4
ongardie
committedMay 15, 2024
Update user study MP4 location
ongardie
committedMay 15, 2024

Commits on May 8, 2024

Merge pull request #201 from raft/missing-archived-impls
ongardie
committedMay 8, 2024
Annotate archived repos with "(archived)"
ongardie
committedMay 8, 2024
Remove unavailable implementations
ongardie
committedMay 8, 2024

Commits on May 7, 2024

Merge pull request #199 from LiangrunDa/main
ongardie
committedMay 7, 2024
Add Raft Lite
LiangrunDa
committedMay 7, 2024

Commits on Apr 16, 2024

Merge pull request #197 from changlousys/patch-1
ongardie
committedApr 16, 2024
Update index.html
changlousys
committedApr 16, 2024
Merge pull request #196 from nicehoplite/main
ongardie
committedApr 16, 2024

Commits on Apr 14, 2024

Update implementations.json
nicehoplite
committedApr 14, 2024

Commits on Mar 20, 2024

Merge pull request #195 from freeekanayaka/patch-1
ongardie
committedMar 20, 2024
Update canonical/raft repository
freeekanayaka
committedMar 20, 2024

Commits on Mar 5, 2024

Merge pull request #194 from resetius/main
ongardie
committedMar 5, 2024
Sort
resetius
committedMar 5, 2024

Commits on Mar 3, 2024

Add resetius/miniraft-cpp
resetius
committedMar 3, 2024

Commits on Dec 4, 2023

Merge pull request #193 from iifawzi/implementations-tf-raft
ongardie
committedDec 4, 2023
adhere to the implementations sorting
iifawzi
committedDec 4, 2023

Commits on Dec 2, 2023

chore: adding tf-raft to the implementations
iifawzi
committedDec 2, 2023

Commits on May 15, 2023

Merge pull request #191 from hkarim/main
ongardie
committedMay 15, 2023

Commits on May 12, 2023

Add Trabica
hkarim
committedMay 12, 2023

Commits on Apr 13, 2023

Merge pull request #190 from lifeisfoo/patch-1
ongardie
committedApr 13, 2023

Commits on Apr 10, 2023

fixed etcd entry position
lifeisfoo
committedApr 10, 2023

Commits on Apr 6, 2023

etcd/raft has a new home
lifeisfoo
committedApr 6, 2023

Commits on Mar 27, 2023

Merge pull request #184 from jrhenderson1988/jrhenderson1988-patch-atomix-language
ongardie
committedMar 27, 2023

Commits on Mar 23, 2023

Point Atomix entry at archived Java repository and update name to clarify that we mean the archived project
jrhenderson1988
committedMar 23, 2023

Commits on Mar 20, 2023

Merge pull request #186 from huchijwk/main
ongardie
committedMar 20, 2023
Add foros implementation
huchijwk
committedMar 20, 2023

Commits on Mar 19, 2023

Merge pull request #187 from the-utkarshjain/main
ongardie
committedMar 19, 2023