For developers, who are building real-time data-driven applications, Redis is the preferred, fastest, and most feature-rich cache, data structure server, and document and vector query engine.
Repository Index
47,133 repositories indexed
1–4 of 4 · Most stars
Distributed reliable key-value store for the most critical data of a distributed system
Apache ZooKeeper
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework