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
    catala
    Vincent Botbol Nicolas Chataing Alain Delaët-Tixeuil Louis Gesbert Aymeric Fromherz et al.
    1.3.0
    Apache-2.0
    Used by 1 other packages
    Added to opam-repository
  2. dates_calc
    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
    Added to opam-repository
  3. mopsa

    No 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.2
    LGPL-3.0-or-later
    Used by 0 other packages
    Added to opam-repository