4 search results for "author:"Matthieu Lemerre""

Showing 1 - 4
  1. binsec

    No documentation

    0.10.1
    LGPL-2.1-or-later
    Used by 0 other packages
    01 Jul 2025
  2. cudd

    No documentation

    0.1.1
    LGPL-2.1-only
    Used by 0 other packages
    12 Jun 2025
  3. frama-c

    No documentation

    31.0
    LGPL-2.1-only
    Used by 5 other packages
    29 Jun 2025
  4. Patricia Tree data structure in OCaml for maps and sets. Supports generic key-value pairs
    0.11.0
    LGPL-2.1-only
    Used by 1 other packages
    28 Jan 2025