119 search results for "author:"Ocamlpro""

Showing 1 - 50
  1. agrid
    Documentation
    Adjustable grid (two dimensional array) library
    OCamlPro <contact@ocamlpro.com>
    0.1
    ISC
    Used by 1 other packages
    09 Mar 2021
  2. alt-ergo
    Documentation
    The Alt-Ergo SMT prover
    org:OCamlPro
    Alt-Ergo developers <alt-ergo@ocamlpro.com>
    2.6.0
    LicenseRef-OCamlpro-Non-Commercial; Apache-2.0
    Used by 5 other packages
    24 Sep 2024
  3. alt-ergo-lib
    Documentation
    The Alt-Ergo SMT prover library
    org:OCamlPro
    Alt-Ergo developers <alt-ergo@ocamlpro.com>
    2.6.0
    LicenseRef-OCamlpro-Non-Commercial; Apache-2.0
    Used by 3 other packages
    24 Sep 2024
  4. alt-ergo-parsers
    Documentation
    The Alt-Ergo SMT prover parser library
    org:OCamlPro
    Alt-Ergo developers <alt-ergo@ocamlpro.com>
    2.6.0
    LicenseRef-OCamlpro-Non-Commercial; Apache-2.0
    Used by 2 other packages
    24 Sep 2024
  5. alt-ergo-plugin-ab-why3
    Documentation
    An experimental Why3 frontend for Alt-Ergo
    Alt-Ergo developers <alt-ergo@ocamlpro.com>
    2.6.0
    LGPL-2.1-only
    Used by 0 other packages
    24 Sep 2024
  6. atable
    Documentation
    Basic spreadsheet tool with HTML tables
    OCamlPro <contact@ocamlpro.com>
    0.1
    ISC
    Used by 0 other packages
    14 Mar 2021
  7. autofonce
    Documentation
    A modern runner for GNU Autoconf Testsuites
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com>
    0.8
    GPL-3.0-only
    Used by 0 other packages
    16 Mar 2023
  8. autofonce_config
    Documentation
    A modern runner for GNU Autoconf Testsuites
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com>
    0.8
    GPL-3.0-only
    Used by 1 other packages
    16 Mar 2023
  9. autofonce_core
    Documentation
    A modern runner for GNU Autoconf Testsuites
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com>
    0.8
    GPL-3.0-only
    Used by 1 other packages
    16 Mar 2023
  10. autofonce_lib
    Documentation
    A modern runner for GNU Autoconf Testsuites
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com>
    0.8
    GPL-3.0-only
    Used by 1 other packages
    16 Mar 2023
  11. autofonce_m4
    Documentation
    A modern runner for GNU Autoconf Testsuites
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com>
    0.8
    GPL-3.0-only
    Used by 2 other packages
    16 Mar 2023
  12. autofonce_misc
    Documentation
    A modern runner for GNU Autoconf Testsuites
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com>
    0.8
    GPL-3.0-only
    Used by 3 other packages
    16 Mar 2023
  13. autofonce_patch
    Documentation
    A modern runner for GNU Autoconf Testsuites
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com>
    0.8
    GPL-3.0-only
    Used by 1 other packages
    16 Mar 2023
  14. autofonce_share
    Documentation
    A modern runner for GNU Autoconf Testsuites
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com>
    0.8
    GPL-3.0-only
    Used by 2 other packages
    16 Mar 2023
  15. directories
    Documentation
    An OCaml library that provides configuration, cache and data paths (and more!) following the suitable conventions on Linux, macOS and Windows
    OCamlPro <contact@ocamlpro.com>
    0.5
    ISC
    Used by 6 other packages
    09 Jan 2022
  16. drom
    Documentation
    The drom tool is a wrapper over opam/dune in an attempt to provide a cargo-like user experience
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@origin-labs.com> Léo Andrès <leo.andres@ocamlpro.com>
    0.8.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    03 Jan 2023
  17. drom_lib
    Documentation
    The drom tool is a wrapper over opam/dune in an attempt to provide a cargo-like user experience
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@origin-labs.com> Léo Andrès <leo.andres@ocamlpro.com>
    0.8.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    03 Jan 2023
  18. drom_toml
    Documentation
    The drom tool is a wrapper over opam/dune in an attempt to provide a cargo-like user experience
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@origin-labs.com> Léo Andrès <leo.andres@ocamlpro.com>
    0.8.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    03 Jan 2023
  19. ez_api
    Documentation
    Easy API library and tools
    Cagdas Bozman <cagdas.bozman@ocamlpro.com> Michael Laporte <michael.laporte@ocamlpro.com> Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com> Maxime Levillain <maxime.levillain@ocamlpro.com> Alain Mebsout <alain.mebsout@ocamlpro.com>
    2.1.0
    LGPL-2.1-only
    Used by 2 other packages
    09 Jul 2024
  20. ez_cmdliner
    Documentation
    Easy interface to Cmdliner à la Arg.parse with sub-commands
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com>
    0.4.3
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 6 other packages
    08 Mar 2022
  21. ez_config
    Documentation
    Easy management of configuration files
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com>
    0.2.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 3 other packages
    08 Mar 2022
  22. ez_file
    Documentation
    Easy file manipulation (read_file, write_file, etc.)
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com>
    0.3.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 13 other packages
    08 Mar 2022
  23. ez_pgocaml
    Documentation
    A simple library to work with pgocaml
    Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com>
    1.0.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    30 Mar 2021
  24. ezjs_ace
    Documentation
    Bindings for the Ace editor
    OCamlPro <contact@ocamlpro.com>
    0.1.1
    LGPL-2.1-only
    Used by 0 other packages
    26 Oct 2020
  25. ezjs_blockies
    Documentation
    Bindings for Blockies
    OCamlPro <contact@ocamlpro.com>
    0.1.1
    LGPL-2.1-only
    Used by 0 other packages
    26 Oct 2020
  26. ezjs_cleave
    Documentation
    Bindings for Cleave
    OCamlPro <contact@ocamlpro.com>
    0.1.1
    LGPL-2.1-only
    Used by 0 other packages
    26 Oct 2020
  27. ezjs_crypto
    Documentation
    Bindings for SubtleCrypto
    OCamlPro <contact@ocamlpro.com>
    0.1
    LGPL-2.1-only
    Used by 0 other packages
    26 Oct 2020
  28. ezjs_cytoscape
    Documentation
    Bindings for Cytoscape
    OCamlPro <contact@ocamlpro.com>
    0.1
    LGPL-2.1-only
    Used by 0 other packages
    26 Oct 2020
  29. ezjs_d3pie
    Documentation
    Bindings for d3pie
    OCamlPro <contact@ocamlpro.com>
    0.1
    LGPL-2.1-only
    Used by 0 other packages
    31 Jul 2020
  30. ezjs_extension
    Documentation
    Binding for Chrome and Firefox extension API
    Maxime Levillain <maxime.levillain@ocamlpro.com>
    0.1
    LGPL-2.1-only
    Used by 1 other packages
    29 Oct 2020
  31. ezjs_fetch
    Documentation
    Bindings for Fetch
    OCamlPro <contact@ocamlpro.com>
    0.3
    LGPL-2.1-or-later
    Used by 1 other packages
    22 Dec 2022
  32. ezjs_idb
    Documentation
    Bindings for IndexedDB
    OCamlPro <contact@ocamlpro.com>
    0.1.1
    LGPL-2.1-only
    Used by 0 other packages
    13 Apr 2021
  33. ezjs_jquery
    Documentation
    Bindings for JQuery
    OCamlPro <contact@ocamlpro.com>
    0.1
    LGPL-2.1-only
    Used by 0 other packages
    26 Oct 2020
  34. ezjs_min
    Documentation
    A bunch of js_of_ocaml shortcuts
    OCamlPro <contact@ocamlpro.com>
    0.3.0
    LGPL-2.1
    Used by 8 other packages
    11 Apr 2022
  35. ezjs_odometer
    Documentation
    Bindings for odometer
    OCamlPro <contact@ocamlpro.com>
    0.1
    LGPL-2.1-only
    Used by 0 other packages
    31 Jul 2020
  36. ezjs_push
    Documentation
    Bindings for Push Notification
    OCamlPro <contact@ocamlpro.com>
    0.2
    LGPL-2.1-only
    Used by 0 other packages
    26 Oct 2020
  37. ezjs_qrcode
    Documentation
    Bindings for QRCode.js
    OCamlPro <contact@ocamlpro.com>
    0.1
    LGPL-2.1-only
    Used by 0 other packages
    31 Jul 2020
  38. ezjs_recaptcha
    Documentation
    Bindings for reCAPTCHA
    OCamlPro <contact@ocamlpro.com>
    0.1.1
    LGPL-2.1-only
    Used by 0 other packages
    26 Oct 2020
  39. ezjs_timeline
    Documentation
    Bindings for TimelineJS
    OCamlPro <contact@ocamlpro.com>
    0.1.1
    LGPL-2.1-only
    Used by 0 other packages
    26 Oct 2020
  40. ezresto
    Documentation
    A minimal OCaml library for type-safe HTTP/JSON RPCs
    Nomadic Labs Ocamlpro
    0.6.1
    MIT
    Used by 1 other packages
    08 Feb 2021
  41. ezresto-directory
    Documentation
    A minimal OCaml library for type-safe HTTP/JSON RPCs
    Nomadic Labs Ocamlpro
    0.6.1
    MIT
    Used by 0 other packages
    08 Feb 2021
  42. header-check
    Documentation
    A tool to check and update source headers, using checksums
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com>
    0.1.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    28 Apr 2023
  43. json-data-encoding
    Documentation
    Type-safe encoding to and decoding from JSON
    Nomadic Labs Ocamlpro
    1.0.1
    MIT
    Used by 10 other packages
    21 Mar 2024
  44. json-data-encoding-browser
    Documentation
    Type-safe encoding to and decoding from JSON (browser support)
    Nomadic Labs Ocamlpro
    1.0.1
    MIT
    Used by 0 other packages
    21 Mar 2024
  45. json-data-encoding-bson
    Documentation
    Type-safe encoding to and decoding from JSON (bson support)
    Nomadic Labs Ocamlpro
    1.0.1
    MIT
    Used by 1 other packages
    21 Mar 2024
  46. learn-ocaml
    Documentation
    The learn-ocaml online platform (engine)
    Benjamin Canou (OCamlPro) Çağdaş Bozman (OCamlPro) Grégoire Henry (OCamlPro) Louis Gesbert (OCamlPro) Pierrick Couderc (OCamlPro)
    1.0.0
    MIT
    Used by 0 other packages
    14 Feb 2024
  47. learn-ocaml-client
    Documentation
    The learn-ocaml client
    Benjamin Canou (OCamlPro) Çağdaş Bozman (OCamlPro) Grégoire Henry (OCamlPro) Louis Gesbert (OCamlPro) Pierrick Couderc (OCamlPro)
    1.0.0
    MIT
    Used by 0 other packages
    14 Feb 2024
  48. mccs
    Documentation
    MCCS (which stands for Multi Criteria CUDF Solver) is a CUDF problem solver developed at UNS during the European MANCOOSI project
    Claude Michel <claude.michel@unice.fr> Louis Gesbert <louis.gesbert@ocamlpro.com>
    1.1+18
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception; BSD-3-clause; GPL-3.0-only
    Used by 2 other packages
    22 Aug 2024
  49. mperf
    Documentation
    Bindings to Linux perf's metrics
    Vincent Bernardoff <vincent.bernardoff@ocamlpro.com> Pierre Chambart <pierre.chambart@ocamlpro.com>
    0.5.0
    GPL-2.0-only
    Used by 1 other packages
    06 Nov 2023
  50. nullable-array
    Documentation
    Small self-contained library providing an efficient implementation for a type equivalent to `'a option array`
    Pierre Chambart <pierre.chambart@ocamlpro.com>
    0.1
    MIT
    Used by 0 other packages
    24 May 2017
1 2 3