14 search results for "author:"François Pottier <francois.pottier@inria.fr>""

Showing 1 - 14
  1. Facilities for enumerating and sampling algebraic data types, using Zarith for big numbers
    20220407
    MIT
    Used by 0 other packages
    07 Apr 2022
  2. Facilities for enumerating and sampling algebraic data types
    20220407
    MIT
    Used by 2 other packages
    07 Apr 2022
  3. Facilities for enumerating and sampling algebraic data types, using Num for big numbers
    20220407
    MIT
    Used by 0 other packages
    07 Apr 2022
  4. Algorithmic building blocks for memoization, recursion, and more
    20230505
    LGPL-2.0-only
    Used by 10 other packages
    16 May 2023
  5. 20220603
    MIT
    Used by 0 other packages
    03 Jun 2022
  6. 20231231
    GPL-2.0-only
    Used by 165 other packages
    06 Jan 2024
  7. Runtime support library for parsers generated by Menhir
    20231231
    LGPL-2.0-only with OCaml-LGPL-linking-exception
    Used by 1 other packages
    06 Jan 2024
  8. 20231231
    LGPL-2.0-only with OCaml-LGPL-linking-exception
    Used by 20 other packages
    06 Jan 2024
  9. 20231231
    LGPL-2.0-only with OCaml-LGPL-linking-exception
    Used by 9 other packages
    06 Jan 2024
  10. A framework for testing a library using afl-fuzz
    20230604
    LGPL-3.0-or-later
    Used by 5 other packages
    04 Jun 2023
  11. 20230830
    LGPL-2.0-only WITH OCaml-LGPL-linking-exception
    Used by 18 other packages
    01 Sep 2023
  12. 20201012
    LGPL-3.0-or-later
    Used by 0 other packages
    27 May 2021
  13. Implementations of the union-find data structure
    20220122
    LGPL-2.0-only WITH OCaml-LGPL-linking-exception
    Used by 3 other packages
    22 Jan 2022
  14. An OCaml syntax extension for generating visitor classes
    20210608
    LGPL-2.1-only
    Used by 12 other packages
    09 Jun 2021