Honey Badger of BFT Protocols in Haskell - View it on GitHub