An embedded DSL for Cardano smart contracts creation coupled with a library for Cardano transactions, all in Typescript