minsc (cargo):  A Miniscript-based high-level scripting language for Bitcoin contracts
Keywords: bitcoin|bitcoin-script|miniscript