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