-
-
bitcoinops.github.io Public
Forked from bitcoinops/bitcoinops.github.ioBitcoin Optech website
Markdown MIT License UpdatedSep 20, 2023 -
TLA+ specification of the parser for BIP32 path templates
-
Implementation of the parser/matcher for BIP32 path templates
-
C implementation of BIP32 path template parser finite state machine
-
-
elements Public
Forked from ElementsProject/elementsOpen Source implementation of advanced blockchain features extending the Bitcoin protocol
C++ MIT License UpdatedFeb 2, 2021 -
-
miniscript-alloy-spec Public
Formal specification for Miniscript in Alloy
-
miniscript Public
Forked from sipa/miniscriptMiniscript site and implementation
C++ UpdatedDec 1, 2020 -
bitcoin Public
Forked from bitcoin/bitcoinBitcoin Core integration/staging tree
-
ABL_contract_TLAplus_spec Public
TLA+ Specification for Asset-Based Lending smart contract state transition table generation
-
awesome-liquid Public
Forked from valerio-vaccaro/awesome-liquidAn awesome list of resources on Liquid sidechain
MIT License UpdatedSep 25, 2020 -
SASwap_TLAplus_spec Public
TLA+ specification for Succinct Atomic Swap smart contract
-
Example of Bitcoin transaction parsing with Ada/SPARK2014
-
learntla Public
Forked from hwayne/learntlaA TLA+ guide
CSS Creative Commons Attribution 4.0 International UpdatedMar 8, 2020 -
-
python-bitcoinlib Public
Forked from petertodd/python-bitcoinlibPython2/3 library providing an easy interface to the Bitcoin data structures and protocol.
Python Other UpdatedDec 26, 2019 -
stage0 Public
Forked from oriansj/stage0A set of minimal dependency bootstrap binaries
Assembly GNU General Public License v3.0 UpdatedOct 12, 2019 -
cryptocoding Public
Forked from veorq/cryptocodingGuidelines for low-level cryptography software
UpdatedAug 1, 2019 -
secp256k1-zkp Public
Forked from BlockstreamResearch/secp256k1-zkpExperimental fork of libsecp256k1 with support for pedersen commitments and range proofs.
C MIT License UpdatedMay 26, 2019 -
elementsproject.github.io Public
Forked from ElementsProject/elementsproject.github.iohttps://elementsproject.org website
CSS UpdatedDec 21, 2018 -
confidential-assets-demo Public
Forked from ElementsProject/confidential-assets-demoConfidential Assets Demo built on the Elements blockchain platform
{{ message }}