Sign in

Repository Index

55,140 visible repositories in the index

Tags: Key-value store
Tags

A repository shows when it has any selected Tag.

Clear Tags
Filters

Filters

Clear all filters

1–12 of 12 · Most stars

Distributed transactional key-value database, originally created to complement TiDB

  • distributed-transactions
  • raft
  • rust
  • key-value

A simple, fast, embeddable, persistent key/value store written in pure Go. It supports fully serializable transactions and many data structures such as list, set, sorted set.

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

  • raft
  • verdi
  • coq
  • proof