Massimo Bartoletti's repositories
bitcoinj
A library for working with Bitcoin
Language:JavaApache-2.0000
bitml-doc
BitML documentation
Language:Python000
certora-tutorials
Practical tutorials of Certora Prover
Language:SolidityGPL-3.0000
Language:Solidity000
Language:OCaml000
Language:OCamlApache-2.0000
Language:OCamlApache-2.0000
python-pub
Public repo of Python scripts
Language:Python000
Language:TypeScriptMIT000
uppaal-btc
Uppaal code for the paper "Modeling Bitcoin Contracts by Timed Automata"
Language:q000
mini-aave
A minimal implementation of Aave
000
Language:Python000
Language:PythonMIT000