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 8 years ago

Related projects:

Repository Description Stars
willemt/raft A C implementation of the Raft consensus protocol used to synchronize distributed systems and ensure consistency in data storage 1,133
hhblaze/raft.net An implementation of the RAFT distributed consensus algorithm among TCP peers with data persistence. 171
whackashoe/codi A cellular automaton model for simulating spiking neural networks 6
imjacobclark/herd An experimental HTTP load testing application built using Rust to simulate large volumes of concurrent requests 110
chrismarsh/chm A modular hydrological modeling framework designed to examine and quantify uncertainty in complex models with variable process representations. 39
cronokirby/haze A Haskell implementation of the Bittorrent protocol for learning and development purposes. 107
bbva/raft-badger An implementation of a Raft consensus algorithm using BadgerDB as the underlying data store. 112
qichengzx/m2 A distributed key-value cache system based on the Raft consensus protocol 27
billpmurphy/hask A Python library that mimics key features of the Haskell programming language. 861
hopson97/empire A cellular automaton simulation of a population's growth, interaction, and evolution in response to environmental factors. 147
ckrowland/markets A simulation of market dynamics between consumers and producers in a visually engaging environment. 38
threemammals/rafty An implementation of the Raft consensus algorithm in C# and .NET core. 196
kentzo/coreanimationtiming An interactive Xcode playground demonstrating the effects of CAAnimation and CAMediaTiming on rendering 1
scrawk/ceto A Unity plugin for simulating ocean and water systems in 3D environments 1,033
turtlesoupy/haskakafka Provides a Haskell interface to Kafka, enabling producers and consumers to interact with the platform. 72