2 search results for "author:"Pascal Cuoq""

Showing 1 - 2
  1. frama-c

    No documentation

    31.0
    LGPL-2.1-only
    Used by 5 other packages
    29 Jun 2025
  2. Implements arithmetic and logical operations over arbitrary-precision integers
    1.14
    LGPL-2.0-only WITH OCaml-LGPL-linking-exception
    Used by 125 other packages
    15 Jul 2024