tangaroa

Raft simulator

A toy implementation of the Raft protocol with an experimental BFT variant in Haskell.

A toy implementation of the Raft protocol in Haskell, with an experimental BFT variant.

GitHub

111 stars
8 watching
15 forks
Language: Haskell
last commit: over 10 years ago

Related projects:

RepositoryDescriptionStars
willemt/raftA C implementation of the Raft consensus protocol used to synchronize distributed systems and ensure consistency in data storage1,133
hhblaze/raft.netAn implementation of the RAFT distributed consensus algorithm among TCP peers using .NET for fault-tolerant and high-availability applications171
whackashoe/codiA cellular automaton model for simulating spiking neural networks6
imjacobclark/herdAn experimental HTTP load testing application built using Rust to simulate large volumes of concurrent requests110
chrismarsh/chmA modular hydrological modeling framework designed to examine and quantify uncertainty in complex models with variable process representations.39
cronokirby/hazeA Haskell implementation of the Bittorrent protocol for learning and development purposes.107
bbva/raft-badgerAn implementation of a Raft consensus algorithm using BadgerDB as the underlying data store.112
qichengzx/m2A distributed key-value cache system based on the Raft consensus protocol27
billpmurphy/haskA Python library that mimics key features of the Haskell programming language.862
hopson97/empireA cellular automaton simulation of a population's growth, interaction, and evolution in response to environmental factors.147
ckrowland/marketsA simulation of market dynamics between consumers and producers in a visually engaging environment.38
threemammals/raftyAn implementation of the Raft consensus algorithm in C# and .NET core.197
kentzo/coreanimationtimingAn interactive Xcode playground demonstrating the effects of CAAnimation and CAMediaTiming on rendering1
scrawk/cetoA Unity plugin for simulating ocean and water systems in 3D environments1,032
turtlesoupy/haskakafkaProvides a Haskell interface to Kafka, enabling producers and consumers to interact with the platform.72