Repository Index

An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework

• raft
• verdi
• coq
• proof

LibraDB is a simple, persistent key/value store written in pure Go in less than 1000 lines for learning purposes.

• data-structures
• database
• go
• golang

The DB that's replicated, sharded and transactional.

Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strings, Lists, Sets, Sorted Sets, Hashes, Streams, HyperLogLogs, Bitmaps.

Key Value Database in .Net with Object DB Layer, RPC, dynamic IL and much more

Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strings, Lists, Sets, Sorted Sets, Hashes

StringDB is a modular, key/value pair archival DB designed to consume *tiny* amounts of ram & produce *tiny* databases.

• stringdb
• database
• lightweight
• easy-to-use

Simply ACID* key-value database. At the medium or even low latency it tries to provide greater throughput without losing the ACID properties of the database. The database provides the ability to create record headers at own discretion and use them as transactions. The maximum size of stored data is limited by the size of the computer's RAM.

A tiny Redis server built with Golang, compatible with RESP protocols.

• golang
• go
• redis
• resp

Reactor is key value database and is a great alternative to Shared Preferences.

• kotlin-android
• key-value-database
• shared-preferences
• sharedpreferences