107 search results for "author:"Ocamlpro""

Showing 51 - 100
  1. ocaml-config
    Documentation
    OCaml Switch Configuration
    Louis Gesbert <louis.gesbert@ocamlpro.com> David Allsopp
    3
    ISC
    Used by 1 other packages
    03 May 2022
  2. ocaml-top
    Documentation
    The OCaml interactive editor for education
    org:ocamlpro gui teaching toplevel
    Louis Gesbert <louis.gesbert@ocamlpro.com>
    1.2.0
    GPL-3.0-only
    Used by 0 other packages
    09 Feb 2023
  3. ocb
    Documentation
    SVG badge generator
    OCamlPro <contact@ocamlpro.com>
    0.2
    ISC
    Used by 2 other packages
    07 Jul 2022
  4. 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
  5. 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.8.1
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 17 other packages
    24 Oct 2019
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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
  17. opam-client
    Documentation
    Client library for opam 2.3
    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.3.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 4 other packages
    14 Nov 2024
  18. opam-core
    Documentation
    Core library for opam 2.3
    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.3.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 7 other packages
    14 Nov 2024
  19. 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
  20. 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
  21. opam-devel
    Documentation
    Bootstrapped development binary for opam 2.3
    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.3.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    14 Nov 2024
  22. 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
  23. opam-file-format
    Documentation
    Parser and printer for the opam file syntax
    Louis Gesbert <louis.gesbert@ocamlpro.com>
    2.2.0~alpha1
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 11 other packages
    06 Dec 2024
  24. opam-format
    Documentation
    Format library for opam 2.3
    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.3.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 16 other packages
    14 Nov 2024
  25. 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.3.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 2 other packages
    14 Nov 2024
  26. 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
  27. 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
  28. 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
  29. 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.5.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 3 other packages
    05 Dec 2024
  30. opam-repository
    Documentation
    Repository library for opam 2.3
    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.3.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 3 other packages
    14 Nov 2024
  31. opam-solver
    Documentation
    Solver library for opam 2.3
    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.3.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 4 other packages
    14 Nov 2024
  32. opam-state
    Documentation
    State library for opam 2.3
    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.3.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 8 other packages
    14 Nov 2024
  33. 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
  34. 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
  35. 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
  36. owi

    No documentation

    OCaml toolchain to work with WebAssembly, including an interpreter
    owi ocaml webassembly wasm interpreter compiler
    Léo Andrès <contact@ndrs.fr> 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
  37. 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
  38. 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
  39. 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
  40. 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
  41. 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
  42. resto-cohttp-server

    No 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
  43. 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
  44. 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
  45. smtml
    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> Léo Andrès <contact@ndrs.fr> Arthur Carcano <arthur.carcano@ocamlpro.com> et al.
    0.6.1
    MIT
    Used by 1 other packages
    10 Mar 2025
  46. sodium
    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
  47. 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
  48. 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
  49. 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
  50. 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
1 2 3