Findel
Findel (Financial Derivatives Language) is a domain-specific language that implements the composable approach to modeling financial derivatives on the Ethereum platform.
For more information on Findel see paper: Findel: Secure Derivative Contracts for Ethereum (Springer publication).
For a command-line interface for interacting with Findel contracts, see fincontracts-cli and fincontracts-lib.