24 search results for "author:"Xavier Leroy""

  1. advi
    Documentation
    Active DVI Dune package!
    Alexandre Miquel Jun Furuse Didier Rémy Pierre Weis Xavier Leroy et al.
    2.0.0
    LGPL-2.1-or-later
    Used by 0 other packages
    14 Apr 2021
  2. agrep
    Documentation
    String searching with errors
    Xavier Leroy
    1.0
    LGPL-2.0-or-later
    Used by 0 other packages
    21 Nov 2013
  3. caml-mode
    Documentation
    Caml mode for GNU Emacs
    Damien Doligez Jacques Garrigue Xavier Leroy Didier Remy Ian T Zimmerman
    4.9
    GPL-2.0-or-later
    Used by 1 other packages
    09 Sep 2021
  4. camlidl
    Documentation
    Stub code generator for OCaml
    Xavier Leroy
    1.11
    QPL-1.0 WITH OCaml-LGPL-linking-exception; LGPL-2.0-or-later WITH OCaml-LGPL-linking-exception
    Used by 13 other packages
    17 Nov 2022
  5. camlp-streams
    Documentation
    The Stream and Genlex libraries for use with Camlp4 and Camlp5
    Daniel de Rauglaudre Xavier Leroy
    5.0.1
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 28 other packages
    27 Jun 2022
  6. camlzip
    Documentation
    Accessing compressed files in ZIP, GZIP and JAR format
    Xavier Leroy
    1.11
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 43 other packages
    15 Sep 2021
  7. cryptokit
    Documentation
    A library of cryptographic primitives
    Xavier Leroy
    1.18
    LGPL-2.0-or-later WITH OCaml-LGPL-linking-exception
    Used by 43 other packages
    02 Jan 2023
  8. graphics
    Documentation
    The OCaml graphics library
    Xavier Leroy Jun Furuse J-M Geffroy Jacob Navia Pierre Weis
    5.1.2
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 14 other packages
    25 May 2021
  9. mpi
    Documentation
    OCaml binding to the Message Passing Interface (MPI)
    Xavier Leroy
    1.05
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    09 Sep 2020
  10. num
    Documentation
    The legacy Num library for arbitrary-precision integer and rational arithmetic
    Valérie Ménissier-Morain Pierre Weis Xavier Leroy
    1.4
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 79 other packages
    10 Nov 2020
  11. ocaml
    Documentation
    The OCaml compiler (virtual package)
    Xavier Leroy Damien Doligez Alain Frisch Jacques Garrigue Didier Rémy et al.
    5.2.0
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 3252 other packages
    11 Apr 2023
  12. ocaml-base-compiler
    Documentation
    Second alpha release of OCaml 5.1.0
    Xavier Leroy
    5.1.0~alpha2
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 5 other packages
    01 Jun 2023
  13. ocaml-beta
    Documentation
    Virtual package for enabling OCaml beta releases
    Xavier Leroy Damien Doligez Alain Frisch Jacques Garrigue Didier Rémy et al.
    disabled
    Used by 3 other packages
    01 May 2019
  14. ocaml-manual
    Documentation
    The OCaml system manual
    Xavier Leroy Damien Doligez Alain Frisch Jacques Garrigue Didier Rémy et al.
    5.0.0
    CC-BY-SA-4.0
    Used by 0 other packages
    16 Dec 2022
  15. ocaml-secondary-compiler
    Documentation
    OCaml 4.08.1 Secondary Switch Compiler
    Xavier Leroy
    4.08.1-1
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    22 Apr 2020
  16. ocaml-system
    Documentation
    The OCaml compiler (system version, from outside of opam)
    Xavier Leroy
    5.0.0
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 5 other packages
    16 Dec 2022
  17. ocaml-variants
    Documentation
    Current trunk
    Xavier Leroy Damien Doligez Alain Frisch Jacques Garrigue Didier Rémy et al.
    5.2.0+trunk
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 14 other packages
    11 Apr 2023
  18. pringo
    Documentation
    Pseudo-random, splittable number generators
    Xavier Leroy
    1.3
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 2 other packages
    23 Nov 2021
  19. semaphore-compat
    Documentation
    Compatibility Semaphore module
    Xavier Leroy
    1.0.1
    LGPL-2.0-only
    Used by 1 other packages
    18 Jan 2021
  20. stdlib-random
    Documentation
    Versioned Random module from the OCaml standard library
    Damien Doligez Xavier Leroy
    1.0.0
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    22 Dec 2022
  21. vocal
    Documentation
    VOCaL -- The Verified OCaml Library
    Arthur Charguéraud Martin Clochard Jean-Christophe Filliâtre Léon Gondelman Armaël Guéneau et al.
    0.1
    MIT
    Used by 0 other packages
    25 Dec 2018
  22. zarith
    Documentation
    Implements arithmetic and logical operations over arbitrary-precision integers
    Antoine Miné Xavier Leroy Pascal Cuoq
    1.12
    Used by 120 other packages
    03 Mar 2021
  23. zarith-freestanding
    Documentation
    Implements arithmetic and logical operations over arbitrary-precision integers
    Xavier Leroy
    1.12
    Used by 2 other packages
    03 Mar 2021
  24. zarith-xen
    Documentation
    Implements arithmetic and logical operations over arbitrary-precision integers
    Xavier Leroy
    1.7
    Used by 2 other packages
    16 Oct 2017