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
    Added to opam-repository
  2. bloomf
    Documentation
    Efficient Bloom filters for OCaml
    Clément Pascutto
    0.2.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  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.1
    MIT
    Used by 3 other packages
    Added to opam-repository
  4. index

    No 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 3 other packages
    Added to opam-repository
  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> Virgile Robles <virgile.robles@protonmail.ch> et al.
    2.3.0
    MIT
    Used by 10 other packages
    Added to opam-repository
  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@tarides.com>
    0.8.0
    MIT
    Used by 3 other packages
    Added to opam-repository
  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@tarides.com>
    0.8.0
    MIT
    Used by 3 other packages
    Added to opam-repository
  8. ortac-wrapper
    Documentation
    Wrapper plugin for Ortac
    Clément Pascutto <clement@pascutto.fr> Nicolas Osborne <nicolas.osborne@tarides.com> Charlène Gros <charlène@tarides.com>
    0.8.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  9. 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 1 other packages
    Added to opam-repository