https://github.com/dgpv/miniscript-alloy-spec

Formal specification for Miniscript in Alloy

alloy-analyzer bitcoin formal-methods formal-specification miniscript

Last synced: 04 Jan 2026

https://github.com/dgpv/bip32_template_python_implementation

Implementation of the parser/matcher for BIP32 path templates

Last synced: 07 Apr 2026