Massimo Bartoletti (bitbart)

bitbart

Geek Repo

Company:University of Cagliari

Home Page:blockchain.unica.it

Github PK Tool:Github PK Tool

Massimo Bartoletti's repositories

Language:OCamlStargazers:2Issues:0Issues:0
Language:OCamlStargazers:1Issues:0Issues:0
Language:JavaStargazers:0Issues:2Issues:0

bitcoinj

A library for working with Bitcoin

Language:JavaLicense:Apache-2.0Stargazers:0Issues:0Issues:0

bitml-doc

BitML documentation

Language:PythonStargazers:0Issues:0Issues:0

certora-tutorials

Practical tutorials of Certora Prover

Language:SolidityLicense:GPL-3.0Stargazers:0Issues:0Issues:0
Language:SolidityStargazers:0Issues:0Issues:0
Language:PythonStargazers:0Issues:1Issues:0
Language:OCamlLicense:Apache-2.0Stargazers:0Issues:0Issues:0
Language:OCamlLicense:Apache-2.0Stargazers:0Issues:0Issues:0

python-pub

Public repo of Python scripts

Language:PythonStargazers:0Issues:1Issues:0
Language:PythonStargazers:0Issues:0Issues:0
Language:TypeScriptLicense:MITStargazers:0Issues:0Issues:0

uppaal-btc

Uppaal code for the paper "Modeling Bitcoin Contracts by Timed Automata"

Language:qStargazers:0Issues:0Issues:0

mini-aave

A minimal implementation of Aave

Stargazers:0Issues:0Issues:0
Language:PythonStargazers:0Issues:0Issues:0
Language:PythonLicense:MITStargazers:0Issues:0Issues:0