4 search results for "author:"Clément Pascutto <clement@pascutto.fr>""
Showing 1 - 4
-
ortac-core
No documentation
Ortac (OCaml Runtime Assertion Checking) core tool and library based on Gospel0.5.0MITUsed by 2 other packages12 Jan 2025 -
Runtime support library for Ortac-generated code0.5.0MITUsed by 2 other packages12 Jan 2025
-
Specification of the Tezos context hash1.0.0MITUsed by 2 other packages15 Jul 2021
-
Irmin implementation of the Tezos context hash specification1.0.0MITUsed by 0 other packages15 Jul 2021