We built the settlement layer of Cardano, one of the largest and most innovative Proof of Stake blockchain platforms, and helped support its federated launch and token distribution.
We contributed to Tezos, one of the top open-source blockchain platforms. Our contributions include two smart contract languages made with Haskell, a set of developer and testing tools, packaging solutions, and multiple smart contracts.
Telegram blockchain contest
Our team was awarded first prize in the smart contract competition launched by TON (Telegram Open Network) for our async payment channel and multisignature wallet, which was written in a domain-specific language built with Haskell.