distributed-algorithms

Distributed, Online, and Outlier Resilient SLAM for Robotic Teams

利用 Go 语言实现多种分布式算法

[Go] - Bully algorithm visualization & implementation written in Golang.

TLA+ specification of Flexible Paxos

JBotSim Core Files

[GSoC] Distributed Data Structures - Collections Framework for Chapel language

A framework to set up distributed algorithms via HTTP, HTML and Javascript, based on NodeJS and Express.

Raft re-implemented in Rust.

Implement of Distributed cycle detection in large-scale sparse graphs

Implementation of heartbeat gossip distributed membership protocol over UDP in Rust

scafi (Scala with computational Fields): a Scala framework for Aggregate Computing

Distributed Evolutionary Computation.

TreeFlood offers algorithms to distributedly explore tree graphs.

DaViz is a tool for simulating and visualizing distributed algorithms.

Abstractions of components of a distributed system to simulate implementations of distributed algorithms.

An implementation of Atomic Broadcast using Multi-Paxos.

[GSoC] Epoch Based Memory Reclamation System for Chapel language

This repository contains the experiments conducted in the paper: "Distributed Clustering via LSH Based Data Partitioning" (ICML 2018) with synthetic data. This implementation is not a distributed implementation. It is a single machine implementation intended to demonstrate the properties of this technique and approximation results.

A practical evaluation of the iconic distributed algorithms discussed in Christian Cachin's book "Introduction to Reliable and Secure Distributed Programming". Each repo's system incrementally improves its predecessor by adding further functionality. More info regarding the specifics of each system can be found in README.md.

📨 Several problems and their solutions in distributed systems area, solved using MPI

A repository for complex networks centrality metrics.

Arrow Distributed Directory Protocol implementation in Go.

Simple Timed I/O Automata Simulator for Distributed Algorithms

Using Nvidia K20 to accelerate Gaussian Process Regression

An implentation of Tarry's algorithm in Erlang

Peer-to-peer lookup protocol

An emulator for distributed algorithms

A distributed activity recognition system 🏃