distributed-algorithms

MISTLab/DOOR-SLAM

Distributed, Online, and Outlier Resilient SLAM for Robotic Teams

suomela/da2020

Juho Hirvonen and Jukka Suomela: Distributed Algorithms 2020

TimTosi/bully-algorithm

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

aQuaYi/Distributed-Algorithms

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

fpaxos/fpaxos-tlaplus

TLA+ specification of Flexible Paxos

scafi/scafi

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

istoilkovska/synchronous-tla-benchmarks

Synchronous fault-tolerant distributed algorithms encoded in TLA+

jbotsim/JBotSim

JBotSim Core Files

himadieievsv/redpulsar

Distributed locks and other utils, can be used with Jedis client and Lettuce client for Redis

LouisJenkinsCS/Distributed-Data-Structures

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

alg-nju/disalg-bib-dict

praalhans/DaViz

DaViz is a tool for simulating and visualizing distributed algorithms.

LeonardoVal/capataz.js

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

oatiz/rs-raft

Raft re-implemented in Rust.

sergey-melnychuk/gossip-peer

Implementation of heartbeat gossip distributed membership protocol over UDP in Rust

Tenemo/threshold-elgamal

A TypeScript library with functions implementing selected ElGamal cryptographic algorithms on top of native JavaScript BigInteger. Its core includes key generation, encryption, and decryption. It is extended with support for threshold encryption. Supports Node.js and the browser. Used by https://sealed.vote.

XzrTGMu/twin-nphard

Graph-based Deterministic Policy Gradient for Repetitive Combinatorial Optimization Problems

jkcso/Distributed-Tradeoffs

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.

leoChaoGlut/Distributed-Cycle-Detection

Implement of Distributed cycle detection in large-scale sparse graphs

QuantasSupport/Quantas

Quantitative User-friendly Adaptable Networked Things Abstract Simulator

sidthekidder/distributed-algorithms

EladCh/Distributed-Algorithms-For-Computer-Networks

Distributed Algorithms For Computer Networks using Sinalgo simulator

abinashmeher999/Distributed-Algorithms

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

dgarvit/epoch-based-manager

[GSoC] Epoch Based Memory Reclamation System for Chapel language

lipinskipawel/maelstrom-java

Unofficial java client for Maelstrom server

nbro/multi-paxos

An implementation of Atomic Broadcast using Multi-Paxos.

silvercyph3r/distributedstp

A simplified, distributed version of the Spanning Tree Protocol for arbitrary layer 2 topologies.

Simul-IO/SimulIO

Simple Timed I/O Automata Simulator for Distributed Algorithms

Zabuzard/TreeFlood

TreeFlood offers algorithms to distributedly explore tree graphs.

avestura/mpich-playground

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

dcmocanu/centrality-metrics-complex-networks

A repository for complex networks centrality metrics.

jfalcou/mmm

Massively Modernized MPI

maheshakya/DistClust_via_LSH_L2

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.

nicomwong/clock-synchronization

Network Time Protocol clock synchronization algorithm

PKUcoldkeyboard/AntTreeSearch

C++ implementation of Arboreal-Ants(https://github.com/shivamg13/Arboreal-Ants)