3 search results for "author:"Pierre-Yves Strub""

Showing 1 - 3
  1. archetype
    Documentation
    Archetype language compiler
    Benoit Rognier <benoit.rognier@edukera.com> Guillaume Duhamel <guillaume.duhamel@edukera.com> Pierre-Yves Strub <pierre-yves.strub@polytechnique.edu>
    1.5.2
    MIT
    Used by 0 other packages
    26 Apr 2024
  2. cryptoverif
    Documentation
    CryptoVerif: Cryptographic protocol verifier in the computational model
    Bruno Blanchet <Bruno.Blanchet@inria.fr>, Pierre Boutry <boutry.pierre@gmail.com>, David Cadé <David.Cade@normalesup.org>, Christian Doczkal <christian.doczkal@mpi-sp.org>, Aymeric Fromherz <Aymeric.Fromherz@inria.fr>, Charlie Jacomme <Charlie.Jacomme@inria.fr>, Benjamin Lipp <Benjamin.Lipp@mpi-sp.org>, and Pierre-Yves Strub <pierre-yves@strub.nu>
    2.11
    CECILL-B
    Used by 0 other packages
    29 Sep 2024
  3. dbforge

    No documentation

    A tool to describe database schemas and generate OCaml code to access these databases.
    Maxence Guesdon Pierre-Yves Strub Nadji Gauthier
    2.0.1
    LGPL-3.0-only
    Used by 0 other packages
    21 Nov 2013