Dmitry Petukhov (@dgpv)
github

dgpv

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    79
  • Global Rank 246,367 (Top 9 %)
  • Followers 37
  • Registered about 6 years ago
  • Most used languages
    TLA     37.5 %
    Python
         25.0 %
    Ada
         12.5 %
    Alloy     12.5 %
    C
         12.5 %

Top repositories

1

bsst

B'SST: Bitcoin-like Script Symbolic Tracer
Python
26
star
2

SASwap_TLAplus_spec

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

miniscript-alloy-spec

Formal specification for Miniscript in Alloy
Alloy
8
star
4

bip32_template_python_implementation

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

spark-bitcoin-transaction-example

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

bip32_template_parse_tplaplus_spec

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

ABL_contract_TLAplus_spec

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

bip32_template_c_implementation

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