Popular repositories

1. SASwap_TLAplus_spec Public

   TLA+ specification for Succinct Atomic Swap smart contract

   TLA 25 6

2. miniscript-alloy-spec Public

   Formal specification for Miniscript in Alloy

   Alloy 9 5

3. spark-bitcoin-transaction-example Public

   Example of Bitcoin transaction parsing with Ada/SPARK2014

   Ada 6 5

4. bip32_template_python_implementation Public

   Implementation of the parser/matcher for BIP32 path templates

   Python 5 3

5. bip32_template_parse_tplaplus_spec Public

   TLA+ specification of the parser for BIP32 path templates

   TLA 3 2

6. ABL_contract_TLAplus_spec Public

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

   TLA 2 4