Hyperledger Fabric Packages for OCaml Chaincode
This lab aims at developping an API to write Hyperledger Fabric chaincodes in OCaml. Such an API would enable the writing of formally proven chaincodes. Indeed, OCaml is a ML-based language prone to safe programming, and many formal proof tools are instrumented to generate OCaml code (Coq, Why3…).
- https://github.com/p1way - Pierre-Yves Piriou
- https://github.com/bobot - François Bobot
- https://github.com/JuRolland - Julien Rolland
No existing repository