Sign in

Repository Index

47,133 repositories indexed

Tag: Cloud and DevOps
Tag
Filters

Filters

Clear all filters

1–5 of 5 · Most stars

Simple key-value store abstraction and implementations for Go (Redis, Consul, etcd, bbolt, BadgerDB, LevelDB, Memcached, DynamoDB, S3, PostgreSQL, MongoDB, CockroachDB and many more)

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

  • raft
  • verdi
  • coq
  • proof