27 search results for "author:"Jean-Christophe Filliâtre""

Showing 1 - 27
  1. 1.0.0
    LGPL-2.1-only
    Used by 0 other packages
    09 Mar 2021
  2. 2.0.0
    LGPL-2.1-only
    Used by 5 other packages
    06 Sep 2020
  3. 1.99-1
    GPL-2.0-only
    Used by 0 other packages
    16 Nov 2020
  4. A bit vector library for OCaml
    1.6
    LGPL-2.1-only
    Used by 5 other packages
    06 Feb 2021
  5. combine

    No documentation

    Combine is a library for combinatorics problem solving.
    0.55
    LGPL-2.1-only
    Used by 0 other packages
    24 Apr 2014
  6. 1.2.0
    LGPL-2.1-only
    Used by 2 other packages
    22 Feb 2021
  7. 28.1
    LGPL-2.1-only
    Used by 3 other packages
    04 Mar 2024
  8. frama-c-base

    No documentation

    15.0
    LGPL-2.1-only
    Used by 2 other packages
    30 Oct 2018
  9. 0.6
    LGPL-2.1-only
    Used by 1 other packages
    25 May 2018
  10. 0.2.0
    MIT
    Used by 2 other packages
    06 Oct 2023
  11. A tiny library for two-dimensional arrays
    0.1.0
    LGPL-2.1-or-later
    Used by 0 other packages
    18 Dec 2023
  12. Sets as hash tables
    1.0.0
    LGPL-2.1-only
    Used by 0 other packages
    26 Feb 2017
  13. 0.9
    LGPL-2.1-only
    Used by 2 other packages
    15 Feb 2021
  14. 0.9
    LGPL-2.1-only
    Used by 0 other packages
    15 Feb 2021
  15. 2.1.0
    LGPL-2.1-only
    Used by 52 other packages
    31 Aug 2023
  16. ocamlgraph_gtk

    No documentation

    2.0.0
    LGPL-2.1-only
    Used by 1 other packages
    08 Oct 2020
  17. Count lines in OCaml source code
    0.3
    GPL-2.0-only
    Used by 0 other packages
    21 Nov 2013
  18. A literate programming tool for OCaml
    1.39
    LGPL-2.1-only
    Used by 0 other packages
    10 Jun 2015
  19. Maps of integers implemented as Patricia trees
    2.0.5
    LGPL-2.1-only
    Used by 4 other packages
    04 Sep 2020
  20. Sets of integers implemented as Patricia trees
    1.0.1
    LGPL-2.1-only
    Used by 0 other packages
    02 Sep 2020
  21. 1.0.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 4 other packages
    04 May 2021
  22. 0.1
    MIT
    Used by 0 other packages
    25 Dec 2018
  23. why

    No documentation

    2.41
    LGPL-2.1-only
    Used by 0 other packages
    03 Jul 2018
  24. 1.7.1
    LGPL-2.1-only
    Used by 7 other packages
    25 Jan 2024
  25. why3-base

    No documentation

    0.88.3
    LGPL-2.1-only
    Used by 1 other packages
    12 Jan 2018
  26. 1.7.1
    LGPL-2.1-only
    Used by 0 other packages
    25 Jan 2024
  27. 1.7.1
    LGPL-2.1-only
    Used by 0 other packages
    25 Jan 2024