670 Open source projects that are alternatives of or similar to chapar

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

A reference use of Hashicorp's Raft implementation

A HTTP Ruby API for Consul

Gryadka is a minimalistic master-master replicated consistent key-value storage based on the CASPaxos protocol

Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]

Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq

Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]

Apache ZooKeeper

A framework for formally verifying distributed systems implementations in Coq

Elastic Key-Value Storage With Strong Consistency and Reliability

Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@erikmd]

Distributed reliable key-value store for the most critical data of a distributed system

Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]

Replicated key-value store driven by the raft consensus protocol 🚵

The open-core for enterprise-grade algorithmic trading infrastructure

Framework for Java and Groovy Agents

Python for streams

A Laravel multi-tenant settings manager

A showcase for Proto.Actor - an ultra-fast distributed actors solution for Go, C#, and Java/Kotlin.

Easily spawn Elixir nodes (supervising, Mix configured, easy asserted / refuted) within ExUnit tests

an implementation of Consistent Hashing in pure Ruby using an AVL tree

Massively real-time traffic streaming application

Actor based reactive java framework for microservices in local and distributed environment

NKN shell daemon

Transparent bi-directional communication for clients, servers and more

Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time

Foremast-brain is a component of Foremast project.

A distributed key-value storage that's tolerant to Byzantine fault.

Joomla Framework Registry Package

A system design tool that allows you to simulate data flow of distributed systems.

Low-latency in-memory key-value store, Redis drop-in alternative

distributed system;blokchain;filecoin/ipfs,...

Algorithms for implementation of Clock Synchronization, Consistency, Mutual Exclusion, Leader Election

A Coq library providing tactics to deal with hypothesis

🔖 Guides, Articles, Podcasts, Videos and Notes to Build Reliable Large-Scale Distributed Systems.

A Chinese version of MIT 6.824 (Distributed System)

An easy to use task scheduler for distributed systems

A framework for implementing and certifying impure computations in Coq

Ltac2 tutorial

🔥 Golang basics and actual-combat (including: crawler, distributed-systems, data-analysis, redis, etcd, raft, crontab-task)

A user-friendly distributed process registry and process supervisor

Conflict-free replicated JSON implementation in native Go

A pluggable implementation of the Egalitarian Paxos Consensus Protocol

Jupyter kernel for Coq

Distributed streaming key-value storage

No description or website provided.

Distributed LMS for automating Computing Science Courses From NYU

Hybrid Logical Clocks for Elixir

Massively real-time city transit streaming application

Logical clocks implementation in Rust

Proto Actor - Ultra fast distributed actors for Go, C# and Java/Kotlin

Multinomials for the Mathematical Components library.

Append-only key-value database on a distributed shared-log

The RiscvSpecKami package provides SiFive's RISC-V processor model. Built using Coq, this processor model can be used for simulation, model checking, and semantics analysis. The RISC-V processor model can be output as Verilog and simulated/synthesized using standard Verilog tools.

An Elixir library which implements the Raft consensus protocol

Django Celery DB Backend that keeps enough info to retry a task.

Instant Kubernetes-Native Application Observability

A curated list of all the Awesome --Topic Name-- lists I've found till date relevant to Data lifecycle, ML and DL.

🚀 A high performance NoSQL database based on bitcask, supports string, list, hash, set, and sorted set.

Coolbeans is a distributed work queue that implements the beanstalkd protocol.