108 search results for "author:"Ocamlpro""

Showing 51 - 100
  1. ocb
    Documentation
    SVG badge generator
    OCamlPro <contact@ocamlpro.com>
    0.2
    ISC
    Used by 3 other packages
    Added to opam-repository
  2. ocp-build
    Documentation
    Project manager for OCaml
    Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com>
    1.99.21
    Used by 6 other packages
    Added to opam-repository
  3. 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 27 other packages
    Added to opam-repository
  4. 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
    Added to opam-repository
  5. ocp-ocamlres
    Documentation
    Manipulation, injection and extraction of embedded resources
    benjamin@ocamlpro.com
    0.4
    LGPL-3.0-only
    Used by 2 other packages
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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.2
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 7 other packages
    Added to opam-repository
  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.2
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 10 other packages
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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.2
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    Added to opam-repository
  19. opam-ed
    Documentation
    Command-line edition tool for handling the opam file syntax
    Louis Gesbert <louis.gesbert@ocamlpro.com>
    0.5
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    Added to opam-repository
  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
    Added to opam-repository
  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.2
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 21 other packages
    Added to opam-repository
  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.2
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 2 other packages
    Added to opam-repository
  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
    Added to opam-repository
  24. opam-lock
    Documentation
    Locking of development package definition dependency versions
    Louis Gesbert <louis.gesbert@ocamlpro.com>
    0.2
    Used by 1 other packages
    Added to opam-repository
  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
    Added to opam-repository
  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> Raja Boujbel <raja.boujbel@ocamlpro.com> Kate <kit-ty-kate@exn.st>
    3.0.1
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 5 other packages
    Added to opam-repository
  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.2
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 3 other packages
    Added to opam-repository
  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.2
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 4 other packages
    Added to opam-repository
  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.2
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 13 other packages
    Added to opam-repository
  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
    Added to opam-repository
  31. optal
    Documentation
    A new language for optimization
    OCamlPro <contact@ocamlpro.com>
    0.3
    GPL-3.0-only
    Used by 0 other packages
    Added to opam-repository
  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.1
    ISC
    Used by 0 other packages
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  36. resto
    Documentation
    A minimal OCaml library for type-safe HTTP/JSON RPCs
    Nomadic Labs Ocamlpro
    1.2
    MIT
    Used by 3 other packages
    Added to opam-repository
  37. resto-cohttp
    Documentation
    A minimal OCaml library for type-safe HTTP/JSON RPCs
    Nomadic Labs Ocamlpro
    1.2
    MIT
    Used by 2 other packages
    Added to opam-repository
  38. resto-cohttp-client
    Documentation
    A minimal OCaml library for type-safe HTTP/JSON RPCs
    Nomadic Labs Ocamlpro
    1.2
    MIT
    Used by 1 other packages
    Added to opam-repository
  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 1 other packages
    Added to opam-repository
  40. resto-directory
    Documentation
    A minimal OCaml library for type-safe HTTP/JSON RPCs
    Nomadic Labs Ocamlpro
    1.2
    MIT
    Used by 2 other packages
    Added to opam-repository
  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
    Added to opam-repository
  42. 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> redianthus <redopam@pm.me> Arthur Carcano <arthur.carcano@ocamlpro.com> et al.
    0.29.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  43. 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
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  49. store
    Documentation
    Snapshottable data structures
    Basile Clément <basile.clement@ocamlpro.com> Gabriel Scherer
    0.2
    MIT
    Used by 3 other packages
    Added to opam-repository
  50. store-dict
    Documentation
    Snapshottable dictonaries and hashtables
    Basile Clément <basile.clement@ocamlpro.com> Gabriel Scherer
    0.1
    MIT
    Used by 0 other packages
    Added to opam-repository
1 2 3