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:Java0 2 00
bitml-doc
BitML documentation
Language:Python00
certora-tutorials
Practical tutorials of Certora Prover
Language:Solidity00
co2-server
Language:Java10
crypto-pub
Language:Python3 1 00
illum-lang
Language:OCaml2 2 00
lip
Language:OCaml1 0 03
ocaml-challenge
Language:OCaml1 0 02
tibet
Language:OCaml10

bitbart's Repositories

bitbart/crypto-pub
Language:Python3 1 00
bitbart/illum-lang
Language:OCaml2 2 00
bitbart/co2-server
Language:Java10
bitbart/lip
Language:OCaml1 0 03
bitbart/ocaml-challenge
Language:OCaml1 0 02
bitbart/tibet
Language:OCaml10
bitbart/bitcoin-transaction-model
Language:Java0 2 00
bitbart/bitcoinj
A library for working with Bitcoin
Language:Java0 2 00
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/lip2022-fork
Language:OCaml0 0 04
bitbart/python-pub
Public repo of Python scripts
Language:Python0 2 00
bitbart/tezos-contracts
Language:Python0 0 00
bitbart/tezos-contracts-taquito
Language:TypeScript0 0 00
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