Talking about recent stuff, it looks like Cardano rely on Haskell for their PoS protocol implementation : https://github.com/input-output-hk/cardano-sl https://

Talking about recent stuff, it looks like Cardano rely on Haskell for their PoS protocol implementation : https://github.com/input-output-hk/cardano-sl https://github.com/input-output-hk/cardano-sl