9 search results for "author:"Clément Pascutto""
Showing 1 - 9
-
Bags (aka multisets)1.0.0LGPL-2.1-onlyUsed by 0 other packages09 Mar 2021
-
Efficient Bloom filters for OCaml0.2.0MITUsed by 0 other packages10 Feb 2021
-
A tool-agnostic formal specification language for OCaml0.2.0MITUsed by 2 other packages06 Oct 2023
-
A platform-agnostic multi-level index for OCaml1.6.2MITUsed by 11 other packages06 Jun 2023
-
Elliptic Curve Cryptography with primitives taken from Fiat0.11.3MITUsed by 10 other packages27 Feb 2024
-
Ortac (OCaml Runtime Assertion Checking) core tool and library based on Gospel0.1.0MITUsed by 1 other packages26 Oct 2023
-
Runtime support library for Ortac-generated code0.1.0MITUsed by 2 other packages26 Oct 2023
-
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