105 search results for "author:"OcamlPro""

Showing 51 - 100
  1. ocp-build
    Documentation
    Project manager for OCaml
    Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com>
    1.99.21
    Used by 6 other packages
    23 Oct 2020
  2. ocp-indent
    Documentation
    A simple tool to indent OCaml programs
    org:ocamlpro org:typerex
    Louis Gesbert <louis.gesbert@ocamlpro.com> Thomas Gazagnaire <thomas@gazagnaire.org> Jun Furuse
    1.9.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 18 other packages
    02 Oct 2025
  3. ocp-indent-nlfork
    Documentation
    `ocp-indent` library, "newline tokens" fork
    org:ocamlpro org:typerex
    Grégoire Henry <gregoire.henry@ocamlpro.com> Louis Gesbert <louis.gesbert@ocamlpro.com> Thomas Gazagnaire <thomas@gazagnaire.org> Jun Furuse
    1.5.5
    LGPL-3.0-or-later
    Used by 2 other packages
    22 Jan 2025
  4. ocp-ocamlres
    Documentation
    Manipulation, injection and extraction of embedded resources
    benjamin@ocamlpro.com
    0.4
    LGPL-3.0-only
    Used by 3 other packages
    22 Jan 2018
  5. ocp-pp
    Documentation
    A simple preprocessor for OCaml
    Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com>
    1.99.19-beta
    Used by 3 other packages
    11 Jul 2017
  6. ocp-reloc
    Documentation
    Relocation of OCaml bytecode executables
    org:ocamlpro org:typerex
    Louis Gesbert <louis.gesbert@ocamlpro.com>
    0.1
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    31 Aug 2018
  7. ocplib-json-typed
    Documentation
    Type-aware JSON and JSON schema utilities
    Benjamin Canou <benjamin@ocamlpro.com>
    0.7.1
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 16 other packages
    19 Mar 2019
  8. ocplib-json-typed-browser
    Documentation
    Json_repr interface over JavaScript's objects
    Benjamin Canou <benjamin@ocamlpro.com>
    0.7.1
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    19 Mar 2019
  9. ocplib-json-typed-bson
    Documentation
    A Json_repr compatible implementation of the JSON compatible subset of BSON
    Benjamin Canou <benjamin@ocamlpro.com>
    0.7.1
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 3 other packages
    19 Mar 2019
  10. ocplib-resto
    Documentation
    Minimal OCaml library for type-safe HTTP/JSON RPCs.
    Grégoire Henry <gregoire.henry@ocamlpro.com>
    0.1
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    04 Jul 2016
  11. ocplib-simplex
    Documentation
    A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities
    Mohamed Iguernlala <iguer@functori.com> Hichem Ait El Hara <hichem.ait-el-hara@ocamlpro.com> Steven de Oliveira <steven.de-oliveira@ocamlpro.com> Guillaume Bury <guillaume.bury@ocamlpro.com> Pierre Villemot <pierre.villemot@ocamlpro.com>
    0.5.1
    LGPL-2.1-or-later
    Used by 1 other packages
    02 Apr 2024
  12. ocplib_stuff
    Documentation
    Basic stuff used by some OCP libraries and tools
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com>
    0.4.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 10 other packages
    28 Apr 2023
  13. opam-bundle
    Documentation
    A tool that creates stand-alone source bundles from opam packages
    org:ocamlpro
    Louis Gesbert <louis.gesbert@ocamlpro.com>
    0.4
    GPL-3.0-only
    Used by 0 other packages
    03 Dec 2018
  14. opam-client
    Documentation
    Client library for opam 2.5
    David Allsopp Vincent Bernardoff <vb@luminar.eu.org> Raja Boujbel <raja.boujbel@ocamlpro.com> Kate Deplaix <kit-ty-kate@outlook.com> Roberto Di Cosmo <roberto@dicosmo.org> et al.
    2.5.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 6 other packages
    27 Nov 2025
  15. opam-core
    Documentation
    Core library for opam 2.5
    David Allsopp Vincent Bernardoff <vb@luminar.eu.org> Raja Boujbel <raja.boujbel@ocamlpro.com> Kate Deplaix <kit-ty-kate@outlook.com> Roberto Di Cosmo <roberto@dicosmo.org> et al.
    2.5.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 6 other packages
    27 Nov 2025
  16. opam-custom-install
    Documentation
    An opam plugin to install a package using a custom command
    org:ocamlpro org:opam
    Louis Gesbert <louis.gesbert@ocamlpro.com>
    0.3
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    08 Nov 2022
  17. opam-depext
    Documentation
    Install OS distribution packages
    Louis Gesbert <louis.gesbert@ocamlpro.com> Anil Madhavapeddy <anil@recoil.org>
    1.2.3
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    16 Aug 2024
  18. opam-devel
    Documentation
    Bootstrapped development binary for opam 2.5
    David Allsopp Vincent Bernardoff <vb@luminar.eu.org> Raja Boujbel <raja.boujbel@ocamlpro.com> Kate Deplaix <kit-ty-kate@outlook.com> Roberto Di Cosmo <roberto@dicosmo.org> et al.
    2.5.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    27 Nov 2025
  19. opam-ed
    Documentation
    Command-line edition tool for handling the opam file syntax
    Louis Gesbert <louis.gesbert@ocamlpro.com>
    0.4
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    16 Aug 2023
  20. opam-file-format
    Documentation
    Parser and printer for the opam file syntax
    Louis Gesbert <louis.gesbert@ocamlpro.com>
    2.2.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 10 other packages
    03 Jul 2025
  21. opam-format
    Documentation
    Format library for opam 2.5
    David Allsopp Vincent Bernardoff <vb@luminar.eu.org> Raja Boujbel <raja.boujbel@ocamlpro.com> Kate Deplaix <kit-ty-kate@outlook.com> Roberto Di Cosmo <roberto@dicosmo.org> et al.
    2.5.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 15 other packages
    27 Nov 2025
  22. opam-installer
    Documentation
    Installation of files to a prefix, following opam conventions
    David Allsopp Vincent Bernardoff <vb@luminar.eu.org> Raja Boujbel <raja.boujbel@ocamlpro.com> Kate Deplaix <kit-ty-kate@outlook.com> Roberto Di Cosmo <roberto@dicosmo.org> et al.
    2.5.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 2 other packages
    27 Nov 2025
  23. opam-lib
    Documentation
    The OPAM library
    Thomas Gazagnaire <thomas@gazagnaire.org> Anil Madhavapeddy <anil@recoil.org> Fabrice Le Fessant <Fabrice.Le_fessant@inria.fr> Frederic Tuong <tuong@users.gforge.inria.fr> Louis Gesbert <louis.gesbert@ocamlpro.com> et al.
    1.3.1
    Used by 2 other packages
    13 Mar 2017
  24. opam-lock
    Documentation
    Locking of development package definition dependency versions
    Louis Gesbert <louis.gesbert@ocamlpro.com>
    0.2
    Used by 1 other packages
    24 Oct 2018
  25. opam-package-upgrade
    Documentation
    Upgrades opam package definition files to the latest format
    org:ocamlpro
    Louis Gesbert <louis.gesbert@ocamlpro.com>
    0.2
    GPL-3.0-only
    Used by 0 other packages
    23 Mar 2020
  26. opam-publish
    Documentation
    A tool to ease contributions to opam repositories
    Louis Gesbert <louis.gesbert@ocamlpro.com> David Sheets <sheets@alum.mit.edu> Jeremie Dimino <jdimino@janestreet.com>
    2.7.1
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 3 other packages
    19 Nov 2025
  27. opam-repository
    Documentation
    Repository library for opam 2.5
    David Allsopp Vincent Bernardoff <vb@luminar.eu.org> Raja Boujbel <raja.boujbel@ocamlpro.com> Kate Deplaix <kit-ty-kate@outlook.com> Roberto Di Cosmo <roberto@dicosmo.org> et al.
    2.5.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 3 other packages
    27 Nov 2025
  28. opam-solver
    Documentation
    Solver library for opam 2.5
    David Allsopp Vincent Bernardoff <vb@luminar.eu.org> Raja Boujbel <raja.boujbel@ocamlpro.com> Kate Deplaix <kit-ty-kate@outlook.com> Roberto Di Cosmo <roberto@dicosmo.org> et al.
    2.5.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 4 other packages
    27 Nov 2025
  29. opam-state
    Documentation
    State library for opam 2.5
    David Allsopp Vincent Bernardoff <vb@luminar.eu.org> Raja Boujbel <raja.boujbel@ocamlpro.com> Kate Deplaix <kit-ty-kate@outlook.com> Roberto Di Cosmo <roberto@dicosmo.org> et al.
    2.5.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 8 other packages
    27 Nov 2025
  30. operf-micro
    Documentation
    Simple tool for benchmarking the OCaml compiler
    Pierre Chambart <pierre.chambart@ocamlpro.com>
    1.1.3
    MIT
    Used by 0 other packages
    12 Jan 2025
  31. optal
    Documentation
    A new language for optimization
    OCamlPro <contact@ocamlpro.com>
    0.3
    GPL-3.0-only
    Used by 0 other packages
    26 Oct 2020
  32. orb
    Documentation
    Check opam package reproducibility
    Raja Boujbel <rjbou@ocamlpro.com> Reynir Björnsson <reynir@reynir.dk> Hannes Mehnert <hannes@mehnert.org>
    1.0.0
    ISC
    Used by 0 other packages
    14 Sep 2024
  33. owi
    Documentation
    OCaml toolchain to work with WebAssembly, including an interpreter
    owi ocaml webassembly wasm interpreter compiler
    redianthus <leo@ocaml.pro> Pierre Chambart <pierre.chambart@ocamlpro.com> Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt> Eric Patrizio <epatrizio@mpns.fr> Arthur Carcano <arthur.carcano@ocamlpro.com
    0.2
    AGPL-3.0-or-later
    Used by 0 other packages
    26 Apr 2024
  34. ozulip
    Documentation
    OCaml bindings to Zulip API
    zulip bindings api
    Mohamed Hernouf <mohamed.hernouf@ocamlpro.com>
    0.1
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    28 Jun 2023
  35. publish
    Documentation
    opam-publish transition package
    Louis Gesbert <louis.gesbert@ocamlpro.com> David Sheets <sheets@alum.mit.edu>
    0.3.4+transition
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    11 Jul 2017
  36. resto
    Documentation
    A minimal OCaml library for type-safe HTTP/JSON RPCs
    Nomadic Labs Ocamlpro
    1.2
    MIT
    Used by 5 other packages
    13 Jul 2023
  37. resto-cohttp
    Documentation
    A minimal OCaml library for type-safe HTTP/JSON RPCs
    Nomadic Labs Ocamlpro
    1.2
    MIT
    Used by 4 other packages
    13 Jul 2023
  38. resto-cohttp-client
    Documentation
    A minimal OCaml library for type-safe HTTP/JSON RPCs
    Nomadic Labs Ocamlpro
    1.2
    MIT
    Used by 4 other packages
    13 Jul 2023
  39. resto-cohttp-server
    Documentation
    A minimal OCaml library for type-safe HTTP/JSON RPCs - server library
    Nomadic Labs Ocamlpro
    1.2
    MIT
    Used by 2 other packages
    13 Jul 2023
  40. resto-directory
    Documentation
    A minimal OCaml library for type-safe HTTP/JSON RPCs
    Nomadic Labs Ocamlpro
    1.2
    MIT
    Used by 4 other packages
    13 Jul 2023
  41. resto-json
    Documentation
    A minimal OCaml library for type-safe HTTP/JSON RPCs
    Nomadic Labs Ocamlpro
    1.2
    MIT
    Used by 1 other packages
    13 Jul 2023
  42. smtml

    No documentation

    An SMT solver frontend for OCaml
    João Pereira <joaomhmpereira@tecnico.ulisboa.pt> Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt> Hichem Rami Ait El Hara <hra@ocamlpro.com> redianthus <redopam@pm.me> Arthur Carcano <arthur.carcano@ocamlpro.com> et al.
    0.18.0
    MIT
    Used by 0 other packages
    29 Dec 2025
  43. sodium

    No documentation

    Binding to libsodium UNAUDITED
    org:mirage
    David Sheets <sheets@alum.mit.edu> Peter Zotov <whitequark@whitequark.org> Benjamin Canou <benjamin@ocamlpro.com>
    0.6.0
    Used by 1 other packages
    18 Apr 2017
  44. solidity-alcotest
    Documentation
    The ocaml-solidity project
    org:OCamlPro
    David Declerck <david.declerck@ocamlpro.com> Steven De Oliveira <steven.de-oliveira@ocamlpro.com>
    0.2.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    27 Apr 2021
  45. solidity-common
    Documentation
    The ocaml-solidity project
    org:OCamlPro
    David Declerck <david.declerck@ocamlpro.com> Steven De Oliveira <steven.de-oliveira@ocamlpro.com>
    0.2.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 4 other packages
    27 Apr 2021
  46. solidity-parser
    Documentation
    The ocaml-solidity project
    org:OCamlPro
    David Declerck <david.declerck@ocamlpro.com> Steven De Oliveira <steven.de-oliveira@ocamlpro.com>
    0.2.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 3 other packages
    27 Apr 2021
  47. solidity-test
    Documentation
    The ocaml-solidity project
    org:OCamlPro
    David Declerck <david.declerck@ocamlpro.com> Steven De Oliveira <steven.de-oliveira@ocamlpro.com>
    0.2.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    27 Apr 2021
  48. solidity-typechecker
    Documentation
    The ocaml-solidity project
    org:OCamlPro
    David Declerck <david.declerck@ocamlpro.com> Steven De Oliveira <steven.de-oliveira@ocamlpro.com>
    0.2.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 2 other packages
    27 Apr 2021
  49. store
    Documentation
    Snapshottable data structures
    Basile Clément <basile.clement@ocamlpro.com> Gabriel Scherer Guillaume Bury <guillaume.bury@ocamlpro.com>
    0.1
    MIT
    Used by 0 other packages
    28 Aug 2024
  50. swhid
    Documentation
    OCaml library to work with Software Heritage identifiers
    swh software heritage archive swhid persistent identifier
    redianthus <leo@ocaml.pro> Dario Pinto <dario.pinto@ocamlpro.com>
    0.2
    ISC
    Used by 0 other packages
    21 Jun 2022
1 2 3