Team / organization
@dgpv
repos
6
stars
47
forks
21
contributors
2
open issues
active 30d
0
TLA+ specification for Succinct Atomic Swap smart contract
Formal specification for Miniscript in Alloy
Example of Bitcoin transaction parsing with Ada/SPARK2014
TLA+ Specification for Asset-Based Lending smart contract state transition table generation
TLA+ specification of the parser for BIP32 path templates
C implementation of BIP32 path template parser finite state machine
dgpv
160 commits · 6 repos
Enegnei
1 commits · 1 repos
Subscriber view
Already a subscriber? Sign in with the same email used at checkout.
