Blockchain, Cosmos Network, Virtual Machine, Tendermint, Proof Of Stake.
Kadenamint: The ICF funded a joint project with the Kadena and FOAM teams to build out support for ABCI and IBC in Haskell. Haskell is an advanced functional language with strong guarantees and deep roots in mathematical and formal methods communities. Expanding the Cosmos ecosystem into Haskell