6 search results for "author:"Benoît Montagu <benoit.montagu@inria.fr>""

Showing 1 - 6
  1. dmap
    Documentation
    A library that implements dependent (heterogeneous) maps
    Benoît Montagu <benoit.montagu@inria.fr>
    0.5
    LGPL-2.1
    Used by 2 other packages
    16 May 2022
  2. ez_dune_describe
    Documentation
    A library to retrieve and iterate over workspace description provided by dune
    Pierre Lermusiaux <pierre.lermusiaux@inria.fr> Benoît Montagu <benoit.montagu@inria.fr>
    0.1
    LGPL-3.0-or-later
    Used by 1 other packages
    10 Mar 2025
  3. salto-analyzer
    Documentation
    Salto static analyzer for OCaml programs
    Pierre Lermusiaux <pierre.lermusiaux@inria.fr> Benoît Montagu <benoit.montagu@inria.fr>
    0.1
    LGPL-3.0-or-later
    Used by 0 other packages
    12 Mar 2025
  4. saltoIL
    Documentation
    Salto Intermediate Language
    Benoît Montagu <benoit.montagu@inria.fr> Pierre Lermusiaux <pierre.lermusiaux@inria.fr>
    0.1.11
    LGPL-2.1-only
    Used by 1 other packages
    09 Mar 2025
  5. sexp_decode
    Documentation
    A library to decode S-expression into structured data
    Benoît Montagu <benoit.montagu@inria.fr>
    0.7
    LGPL-3.0-or-later
    Used by 1 other packages
    19 Jul 2022
  6. zdd
    Documentation
    Implementation of ZDDs, as well as upward-closed and downward-closed set families
    Benoît Montagu <benoit.montagu@inria.fr>
    0.5
    LGPL-3.0-or-later
    Used by 0 other packages
    10 Mar 2025