GitHub repository: rujevic/minsc
Description: A Miniscript-based high-level scripting language for Bitcoin contracts