kurafs / kuraLinks
An end-to-end encrypted, synchronized, global file system in Go (unmaintained)
☆20Updated 6 years ago
Alternatives and similar repositories for kura
Users that are interested in kura are comparing it to the libraries listed below
Sorting:
- HyperLogLog with lots of sugar (Sparse, LogLog-Beta bias correction and TailCut space reduction) brought to you by Axiom☆987Updated 2 months ago
- A framework for formally verifying distributed systems implementations in Coq☆608Updated last month
- Bloomberg's distributed RDBMS☆1,457Updated this week
- A lightweight library that provides group member discovery, status dissemination, and failure detection using the SWIM epidemic protocol.☆465Updated 4 years ago
- Paxos protocol framework☆555Updated last year
- Paxos Made Moderately Complex☆186Updated last year
- Prototype Bud runtime (Bloom Under Development)☆863Updated 4 years ago
- Gryadka is a minimalistic master-master replicated consistent key-value storage based on the CASPaxos protocol☆332Updated 7 years ago
- A Go library implementing an FST (finite state transducer)☆510Updated 2 years ago
- Verifies the linearizability of experimentally accessible histories.☆407Updated 5 months ago
- Interesting papers I'd like to implement (or at least have implementations of)☆122Updated 4 years ago
- A tool for benchmarking RPC services☆469Updated 2 years ago
- Calvin is a scalable transactional database system that leverages determinism to guarantee active replication and full ACID-compliance of…☆323Updated 3 years ago
- The Waterloo Consistency Analyzer☆15Updated 4 years ago
- A signature-based search engine☆401Updated 3 years ago
- ☆181Updated 7 years ago
- A fast linearizability checker written in Go 🔎☆1,053Updated 2 months ago
- Speculative Paxos replication protocol☆131Updated 8 years ago
- ☆622Updated 3 years ago
- Blb is a distributed object storage system designed for use on bare metal in cluster computing environments.☆625Updated last year
- Berkeley Tree Database (BTrDB) server☆909Updated 3 years ago
- The Naiad system provides fast incremental and iterative computation for data-parallel workloads☆521Updated 3 years ago
- Consus is a geo-replicated transactional key-value store.☆225Updated 7 years ago
- SILT: A Memory-Efficient, High-Performance Key-Value Store☆177Updated 3 years ago
- Skycfg is an extension library for the Starlark language that adds support for constructing Protocol Buffer messages.☆664Updated last month
- A strongly consistent distributed coordination system, built using proven protocols & implemented in Rust.☆459Updated 5 years ago
- The Firmament cluster scheduling platform☆412Updated 4 years ago
- Black-box transactional safety checker based on cycle detection☆669Updated 3 months ago
- Package stream provides filters that can be chained together in a manner similar to Unix pipelines.☆209Updated 7 years ago
- CASPaxos: Replicated State Machines without logs☆102Updated 6 years ago