A toy implementation of the Raft protocol in Haskell, with an experimental BFT variant.
Primary LanguageHaskellBSD 3-Clause "New" or "Revised" LicenseBSD-3-Clause