3 search results for "author:"Antoine Miné""

Showing 1 - 3
  1. v0.9.15
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 10 other packages
    05 Jul 2024
  2. MOPSA: A Modular and Open Platform for Static Analysis using Abstract Interpretation
    1.0
    LGPL-3.0-or-later
    Used by 0 other packages
    21 Jul 2024
  3. Implements arithmetic and logical operations over arbitrary-precision integers
    1.14
    LGPL-2.0-only WITH OCaml-LGPL-linking-exception
    Used by 131 other packages
    15 Jul 2024