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

TreeFlood offers algorithms to distributedly explore tree graphs.

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

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

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.

[GSoC] Epoch Based Memory Reclamation System for Chapel language

Implementation of heartbeat gossip distributed membership protocol over UDP in Rust

DaViz is a tool for simulating and visualizing distributed algorithms.

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

Simple Timed I/O Automata Simulator for Distributed Algorithms

An emulator for distributed algorithms

Simple implementation of most of Symmetric Newtop

An implentation of Tarry's algorithm in Erlang

Peer-to-peer lookup protocol

source codes of Wang's CDS algorithm for distributed systems on TinyOS

Thieves' guild as an example of the implementation of a distributed algorithm.

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.

A distributed activity recognition system 🏃

Using Nvidia K20 to accelerate Gaussian Process Regression

Implement Alternating Direction Method of Multipliers On Spark