There is an older Haskell implementation of Raft with additional changes for Byzantine failures: <a href="https://github.com/kadena-io/juno" rel="nofollow">https://github.com/kadena-io/juno</a>
There are others:
<a href="https://github.com/NicolasT/kontiki" rel="nofollow">https://github.com/NicolasT/kontiki</a>