GitHub repository: scarmuega/tx3
Description: A DSL for describing and visualizing transactions in UTxO-based blockchains