An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
- raft
- verdi
- coq
- proof
Repository Index
47,133 repositories indexed
73–84 of 84 · Most stars
A Go client for rqlite, the distributed database built on SQLite
- go
- golang
- sql
Cross-platform .NET library for InfluxDB distributed time-series database.
- c-sharp
- influxdb
- time-series
Eventually consistent distributed in-memory cache Go library
- gossip-protocol
- cache
- lru-cache
- in-memory-caching
A flexible multi-layer Go caching library to deal with in-memory and shared cache by adopting Cache-Aside pattern.
Time-series database and pub/sub messaging server for IoT and real-time devices, in Go: an embeddable storage engine with TTLs, wildcard topics and encryption, and a clustered server over gRPC, TCP and WebSocket with replication and rolling upgrades.
RHive is an R extension facilitating distributed computing via Apache Hive.
distributed data sync with operational transformation/transforms
- golang
- dot
- ot
- operational
The Coherence Go Client allows native Go applications to act as cache clients to a Coherence cluster using gRPC for the network transport.
- coherence
- coherence-ce
- golang
- grpc
Stateful actors on Apache Flink 2.x and Java 21 — durable per-key state, exactly-once messaging, Kafka and Kinesis I/O, Kubernetes-native deployment. Continues the Apache Stateful Functions programming model on the modern Flink line.
- actor-model
- apache-flink
- distributed-systems
- event-driven
One Go interface, five backends — filelock, flock, Redis, Postgres, etcd. Distributed locks with fencing tokens, semaphore mode, observability hooks, and TraceID propagation. Swap backends with one line.
- advisory-lock
- concurrency
- distributed-lock
- etcd
Go-native distributed job scheduler with delayed tasks, batched Redis coordination, retries, lease-based recovery, and versioned queue partitioning.
- distributed
- distributed-scheduler
- golang
- scheduler