3 search results for "author:"Raphaël Monat""

Showing 1 - 3
  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. 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
  3. 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