GitHub repository: tweag/cooked-smart-contracts
Primary language: Haskell
Description: Smart contracts for the Cardano blockchain written with Cooked-validators