O

ocaml

SmartPy

Smart Contracts on Tezos

A comprehensive solution for developing, testing, and deploying smart contracts on the Tezos blockchain. All in familiar Python syntax.

Verification engine for AI-assisted software changes

Generic Unspecific Algorithmic in OCaml

Dépots de mes cours de Double Licence à l'USPN.