4 search results for "author:"Aymeric Fromherz""

Showing 1 - 4
  1. catala
    Documentation
    Compiler and library for the literate programming language for tax code specification
    Denis Merigoux Nicolas Chataing Emile Rolley Louis Gesbert Aymeric Fromherz et al.
    0.10.0
    Apache-2.0
    Used by 0 other packages
    13 May 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. dates_calc
    Documentation
    A date calculation library
    Aymeric Fromherz Denis Merigoux Raphaël Monat
    0.0.6
    Apache-2.0
    Used by 1 other packages
    22 May 2024
  4. mopsa
    Documentation
    MOPSA: A Modular and Open Platform for Static Analysis using Abstract Interpretation
    Antoine Miné Abdelraouf Ouadjaout Matthieu Journault Aymeric Fromherz Raphaël Monat et al.
    1.0
    LGPL-3.0-or-later
    Used by 0 other packages
    21 Jul 2024