CorfuDB
Consistency platform
A platform designed around a shared log for ensuring consistency in distributed systems
A cluster consistency platform
642 stars
51 watching
121 forks
Language: Java
last commit: over 1 year ago
Linked from 1 awesome list
consensusdatabasedatastoredistributed-databasedistributed-systemsnosqlstreaming
semantalytics/awesome-kafkaRelated projects:
| Repository | Description | Stars |
|---|---|---|
 coq-community/chapar | A framework for verifying causal consistency in distributed key-value stores and their clients using the Coq proof assistant | 32 |
 algarecu/hbase-0.94.8-qod | Ensures consistency guarantees in Geo-replicated Cloud Data Stores by prioritizing data quality and grouping transactions for replication | 1 |
 benfry/processing4 | An effort to improve and update the source code of a popular Java-based software development environment for visual design and programming | 1,345 |
 ml4tp/gamepad | A platform that exposes Coq proofs to machine learning algorithms | 72 |
 edwingeng/doublejump | A consistent hash implementation with improved node removal functionality | 103 |
 coq/platform | A multi-platform distribution of the Coq proof assistant and its libraries, providing a standardized setup for development and teaching | 191 |
 coq-concurrency/pluto | A Coq-based web server written in a functional programming language | 86 |
 diogodamiani/identityserver4.contrib.mongodb | A MongoDB-based implementation of IdentityServer4's persistence layer | 111 |
 jboner/akka-crdt | An eventually consistent, distributed database using CRDTs and Akka Cluster | 227 |
 rudderlabs/rudder-server | A Customer Data Platform that allows users to collect and activate customer data from various sources, with features for data pipelines, warehouse management, and security. | 4,109 |
 rcfontana/contentsharing | A platform that enables sharing of presentation content and conference notes among users | 5 |
 coderwall/coderwall-next | A Ruby-based web application for a developer community to learn and share programming tips. | 203 |
| coq-community/fav-ssr | A comprehensive library of verified data structures and algorithms in Coq | 45 |
 wundergraph/cosmo | A comprehensive platform for managing and composing federated GraphQL APIs at scale. | 763 |
 cohesivestack/ineo | Manages multiple Neo4j instances on different ports for development and testing environments. | 76 |