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

    No documentation

    A date calculation library
    Vincent Botbol Aymeric Fromherz Louis Gesbert Denis Merigoux Raphaël Monat et al.
    0.0.10
    Apache-2.0
    Used by 1 other packages
    14 May 2025
  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.1
    LGPL-3.0-or-later
    Used by 0 other packages
    06 Feb 2025