Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Zen Wallet | 34 | 6 years ago | 9 | other | C# | |||||
Node and GUI for the Zen Protocol. | ||||||||||
Miniscript Alloy Spec | 7 | 3 years ago | 2 | other | Alloy | |||||
Formal specification for Miniscript in Alloy | ||||||||||
Spark Bitcoin Transaction Example | 5 | 4 years ago | agpl-3.0 | Ada | ||||||
Example of Bitcoin transaction parsing with Ada/SPARK2014 |