verdi-raft
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework (by uwplse)
rqlite
The lightweight, user-friendly, distributed relational database built on SQLite. (by rqlite)
| verdi-raft | rqlite | |
|---|---|---|
| 1 | 120 | |
| 181 | 15,561 | |
| 0.6% | 1.8% | |
| 6.6 | 9.9 | |
| 9 months ago | 4 days ago | |
| Coq | Go | |
| BSD 2-clause "Simplified" License | MIT License |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
verdi-raft
Posts with mentions or reviews of verdi-raft.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2021-10-27.
-
Paxos automatically determined safe and secure
Raft has been manually verified which was the hurdle here that makes the result interesting:
https://github.com/uwplse/verdi-raft
rqlite
Posts with mentions or reviews of rqlite.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2024-08-28.
- Rqlite: Lightweight, user-friendly, distributed relational db built on SQLite
-
rqlite: A lightweight, user-friendly, distributed relational db built on SQLite
Not particularly. A C compiler is only needed for the SQLite source code.
I originally provided these musl-based builds so I could provide rqlite Docker images based on Alpine[1]. But now the Docker release process simply builds rqlite from the source during the image-creation process[2].
[1] https://hub.docker.com/_/alpine
[2] https://github.com/rqlite/rqlite/blob/master/Dockerfile
- Show HN: Rqlite and Docker and SQLite-vec – highly-available Vector Search
-
CockroachDB License Change
Not Jepsen tested but I'd like rqlite [0] would be in the running and meet the requirements.
0. https://rqlite.io/
- Show HN: Drop-In SQS Replacement Based on SQLite
-
Local First, Forever
I’ve been pondering doing something like this with SQLite. The primary db is local/embedded on the user’s machine and use something like https://github.com/rqlite/rqlite to sync on the backend.
It also means it would be fairly trivial to allow users/orgs to host their own “backend” as well.
-
Why SQLite Is Taking over with Brian Holt and Marco Bambini
SQLite is not competing with RDMBSes. SQLite is competing with fopen().
There are of course solutions which wrap this fopen() replacement in a network/cluster-aware tools, e.g. https://github.com/rqlite/rqlite - these are competing with postgres.
- The lightweight, easy-to-use, distributed relational database built on SQLite
-
CursusDB – A new scalable distributed document oriented database
Seems like you could do the same with rqlite [1], since SQLite supports JSON.
[1]: https://rqlite.io
-
Rqlite 8.0
rqlite[1] creator here, happy to answer any questions about rqlite, this latest release, and how it works.
[1] https://rqlite.io