9 search results for "author:"Clément Pascutto""

Showing 1 - 9
  1. bag
    Documentation
    Bags (aka multisets)
    Jean-Christophe Filliâtre Clément Pascutto
    1.0.0
    LGPL-2.1-only
    Used by 0 other packages
    09 Mar 2021
  2. bloomf
    Documentation
    Efficient Bloom filters for OCaml
    Clément Pascutto
    0.2.0
    MIT
    Used by 0 other packages
    10 Feb 2021
  3. gospel
    Documentation
    A tool-agnostic formal specification language for OCaml
    Jean-Christophe Filliâtre Samuel Hym Cláudio Lourenço Nicolas Obsorne Clément Pascutto et al.
    0.3.0
    MIT
    Used by 2 other packages
    12 Apr 2024
  4. index
    Documentation
    A platform-agnostic multi-level index for OCaml
    Craig Ferguson <craig@tarides.com> Thomas Gazagnaire <thomas@tarides.com> Ioana Cristescu <ioana@tarides.com> Clément Pascutto <clement@tarides.com>
    1.6.2
    MIT
    Used by 11 other packages
    06 Jun 2023
  5. mirage-crypto-ec
    Documentation
    Elliptic Curve Cryptography with primitives taken from Fiat
    org:mirage
    Hannes Mehnert <hannes@mehnert.org> Nathan Rebours <nathan.p.rebours@gmail.com> Clément Pascutto <clement@tarides.com> Etienne Millon <me@emillon.org> Andres Erbsen <andreser@mit.edu> et al.
    0.11.3
    MIT
    Used by 10 other packages
    27 Feb 2024
  6. ortac-core
    Documentation
    Ortac (OCaml Runtime Assertion Checking) core tool and library based on Gospel
    Clément Pascutto <clement@pascutto.fr> Nicolas Osborne <nicolas.osborne@tarides.com> Samuel Hym <samuel.hym@rustyne.lautre.net>
    0.2.0
    MIT
    Used by 1 other packages
    17 Apr 2024
  7. ortac-runtime
    Documentation
    Runtime support library for Ortac-generated code
    Clément Pascutto <clement@pascutto.fr> Nicolas Osborne <nicolas.osborne@tarides.com> Samuel Hym <samuel.hym@rustyne.lautre.net>
    0.2.0
    MIT
    Used by 3 other packages
    17 Apr 2024
  8. tezos-context-hash
    Documentation
    Specification of the Tezos context hash
    Clément Pascutto <clement@pascutto.fr> Mattias Roux <mattias@tarides.com> Thomas Gazagnaire <thomas@tarides.com>
    1.0.0
    MIT
    Used by 2 other packages
    15 Jul 2021
  9. tezos-context-hash-irmin
    Documentation
    Irmin implementation of the Tezos context hash specification
    Clément Pascutto <clement@pascutto.fr> Mattias Roux <mattias@tarides.com> Thomas Gazagnaire <thomas@tarides.com>
    1.0.0
    MIT
    Used by 0 other packages
    15 Jul 2021