dgpv/bsst dgpv/bsst

  • Stars
    star
    26
  • Rank 930,752 (Top 19 %)
  • Language
    Python
  • License
    Other
  • Created over 1 year ago
  • Updated 9 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
dgpv/bsst
github

dgpv

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

B'SST: Bitcoin-like Script Symbolic Tracer

More Repositories

1

SASwap_TLAplus_spec

TLA+ specification for Succinct Atomic Swap smart contract
TLA
24
star
2

miniscript-alloy-spec

Formal specification for Miniscript in Alloy
Alloy
8
star
3

bip32_template_python_implementation

Implementation of the parser/matcher for BIP32 path templates
Python
7
star
4

spark-bitcoin-transaction-example

Example of Bitcoin transaction parsing with Ada/SPARK2014
Ada
6
star
5

bip32_template_parse_tplaplus_spec

TLA+ specification of the parser for BIP32 path templates
TLA
3
star
6

ABL_contract_TLAplus_spec

TLA+ Specification for Asset-Based Lending smart contract state transition table generation
TLA
2
star
7

bip32_template_c_implementation

C implementation of BIP32 path template parser finite state machine
C
1
star