Smart contracts for the Cardano blockchain written with Cooked-validators - View it on GitHub