bitbart

I am a computer scientist at the University of Cagliari, Italy

University of Cagliari

Pinned Repositories

bitcoin-transaction-model
Language:Java0 2 00
bitcoinj
A library for working with Bitcoin
Language:Java00
bitml-doc
BitML documentation
Language:Python00
certora-tutorials
Practical tutorials of Certora Prover
Language:Solidity00
contracts-verification-benchmark
Language:Solidity0 0 00
crypto-pub
Language:Python2 1 00
illum-lang
Language:OCaml20
lip
Language:OCaml0 0 05
lip2022-fork
Language:OCaml04
ocaml-challenge
Language:OCaml1 0 01

bitbart's Repositories

bitbart/crypto-pub
Language:Python2 1 00
bitbart/illum-lang
Language:OCaml20
bitbart/ocaml-challenge
Language:OCaml1 0 01
bitbart/bitcoin-transaction-model
Language:Java0 2 00
bitbart/bitcoinj
A library for working with Bitcoin
Language:Java00
bitbart/bitml-doc
BitML documentation
Language:Python00
bitbart/certora-tutorials
Practical tutorials of Certora Prover
Language:Solidity00
bitbart/contracts-verification-benchmark
Language:Solidity0 0 00
bitbart/lip
Language:OCaml0 0 05
bitbart/lip2022-fork
Language:OCaml04
bitbart/python-pub
Public repo of Python scripts
Language:Python0 1 00
bitbart/tezos-contracts
Language:Python0 0 00
bitbart/tezos-contracts-taquito
Language:TypeScript00
bitbart/uppaal-btc
Uppaal code for the paper "Modeling Bitcoin Contracts by Timed Automata"
Language:q0 2 00
bitbart/mini-aave
A minimal implementation of Aave
Language:Solidity0 0
bitbart/python-challenge
Language:Python0 0
bitbart/Solvent
Language:Python0 0