Lab Name
Short Description
Hyperledger Fabric Packages for OCaml Chaincode
Scope of Lab
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…).
Initial Committers
- https://github.com/p1way - Pierre-Yves Piriou
- https://github.com/bobot - François Bobot
- https://github.com/JuRolland - Julien Rolland
Sponsor
No sponsor
Pre-existing repository
No existing repository