2 search results for "author:"Matthieu Journault""

Showing 1 - 2
  1. 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
  2. picasso
    Documentation
    Abstract elements drawing library
    Ghiles Ziat <ghiles.ziat@epita.fr Matthieu Journault <Matthieu.journault@lip6.fr>
    0.4.0
    LGPL-2.0-or-later
    Used by 2 other packages
    Added to opam-repository