28 search results for "author:"francois.pottier@inria.fr""

Showing 1 - 28
  1. 2.16.0
    MIT
    Used by 13 other packages
    27 Jan 2025
  2. 2.16.0
    MIT
    Used by 0 other packages
    27 Jan 2025
  3. 2.16.0
    MIT
    Used by 0 other packages
    27 Jan 2025
  4. 2.16.0
    MIT
    Used by 15 other packages
    27 Jan 2025
  5. 2.16.0
    MIT
    Used by 1 other packages
    27 Jan 2025
  6. 2.16.0
    MIT
    Used by 8 other packages
    27 Jan 2025
  7. 2.16.0
    MIT
    Used by 0 other packages
    27 Jan 2025
  8. 2.16.0
    MIT
    Used by 0 other packages
    27 Jan 2025
  9. 2.16.0
    MIT
    Used by 0 other packages
    27 Jan 2025
  10. 2.16.0
    MIT
    Used by 1 other packages
    27 Jan 2025
  11. Fast sets based on balanced binary search trees
    20241204
    LGPL-2.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    05 Dec 2024
  12. Facilities for enumerating and sampling algebraic data types, using Zarith for big numbers
    20220407
    MIT
    Used by 0 other packages
    07 Apr 2022
  13. Facilities for enumerating and sampling algebraic data types
    20220407
    MIT
    Used by 2 other packages
    07 Apr 2022
  14. Facilities for enumerating and sampling algebraic data types, using Num for big numbers
    20220407
    MIT
    Used by 0 other packages
    07 Apr 2022
  15. Algorithmic building blocks for memoization, recursion, and more
    20230505
    LGPL-2.0-only
    Used by 10 other packages
    16 May 2023
  16. A union-find data structure inside a vector
    20241210
    LGPL-2.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    11 Dec 2024
  17. 20241208
    LGPL-2.0-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    08 Dec 2024
  18. 20220603
    MIT
    Used by 0 other packages
    03 Jun 2022
  19. 20240715
    GPL-2.0-only
    Used by 164 other packages
    16 Jul 2024
  20. 20231231
    LGPL-2.0-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    05 Sep 2024
  21. Runtime support library for parsers generated by Menhir
    20240715
    LGPL-2.0-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    16 Jul 2024
  22. 20240715
    LGPL-2.0-only WITH OCaml-LGPL-linking-exception
    Used by 27 other packages
    16 Jul 2024
  23. 20240715
    LGPL-2.0-only WITH OCaml-LGPL-linking-exception
    Used by 12 other packages
    16 Jul 2024
  24. A framework for strong random testing of OCaml libraries
    20250314
    LGPL-3.0-or-later
    Used by 9 other packages
    17 Mar 2025
  25. 20230830
    LGPL-2.0-only WITH OCaml-LGPL-linking-exception
    Used by 18 other packages
    01 Sep 2023
  26. 20201012
    LGPL-3.0-or-later
    Used by 0 other packages
    27 May 2021
  27. 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
  28. An OCaml syntax extension for generating visitor classes
    20250212
    LGPL-2.1-only
    Used by 9 other packages
    13 Feb 2025