107 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.2
    LicenseRef-OCamlpro-Non-Commercial; Apache-2.0
    Used by 3 other packages
    14 May 2025
  3. alt-ergo-lib
    Documentation
    The Alt-Ergo SMT prover library
    org:OCamlPro
    Alt-Ergo developers <alt-ergo@ocamlpro.com>
    2.6.2
    LicenseRef-OCamlpro-Non-Commercial; Apache-2.0
    Used by 3 other packages
    14 May 2025
  4. alt-ergo-parsers
    Documentation
    The Alt-Ergo SMT prover parser library
    org:OCamlPro
    Alt-Ergo developers <alt-ergo@ocamlpro.com>
    2.6.2
    LicenseRef-OCamlpro-Non-Commercial; Apache-2.0
    Used by 2 other packages
    14 May 2025
  5. alt-ergo-plugin-ab-why3
    Documentation
    An experimental Why3 frontend for Alt-Ergo
    Alt-Ergo developers <alt-ergo@ocamlpro.com>
    2.6.2
    LGPL-2.1-only
    Used by 0 other packages
    14 May 2025
  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.7
    ISC
    Used by 0 other packages
    05 Nov 2025
  16. domainpc
    Documentation
    Domain Per Core, spawn domains ensuring that they run on separate cores
    Hichem Rami Ait El Hara <hra@ocamlpro.com>
    0.2
    AGPL-3.0-or-later
    Used by 0 other packages
    31 Jan 2026
  17. 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
  18. 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
  19. 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
  20. 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
  21. 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
  22. ezjs_ace
    Documentation
    Bindings for the Ace editor
    OCamlPro <contact@ocamlpro.com>
    0.1.1
    LGPL-2.1-only
    Used by 1 other packages
    26 Oct 2020
  23. 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
  24. 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
  25. ezjs_crypto
    Documentation
    Bindings for SubtleCrypto
    OCamlPro <contact@ocamlpro.com>
    0.1
    LGPL-2.1-only
    Used by 0 other packages
    26 Oct 2020
  26. ezjs_cytoscape
    Documentation
    Bindings for Cytoscape
    OCamlPro <contact@ocamlpro.com>
    0.1
    LGPL-2.1-only
    Used by 0 other packages
    26 Oct 2020
  27. ezjs_d3pie
    Documentation
    Bindings for d3pie
    OCamlPro <contact@ocamlpro.com>
    0.1
    LGPL-2.1-only
    Used by 0 other packages
    31 Jul 2020
  28. ezjs_extension
    Documentation
    Binding for Chrome and Firefox extension API
    Maxime Levillain <maxime.levillain@ocamlpro.com>
    0.2
    LGPL-2.1-only
    Used by 1 other packages
    26 Feb 2025
  29. 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
  30. 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
  31. ezjs_jquery
    Documentation
    Bindings for JQuery
    OCamlPro <contact@ocamlpro.com>
    0.1
    LGPL-2.1-only
    Used by 0 other packages
    26 Oct 2020
  32. 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
  33. ezjs_odometer
    Documentation
    Bindings for odometer
    OCamlPro <contact@ocamlpro.com>
    0.1
    LGPL-2.1-only
    Used by 0 other packages
    31 Jul 2020
  34. 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
  35. 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
  36. 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
  37. 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
  38. 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
  39. 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
  40. 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
  41. json-data-encoding
    Documentation
    Type-safe encoding to and decoding from JSON
    Nomadic Labs Ocamlpro
    1.1.1
    MIT
    Used by 10 other packages
    12 Dec 2025
  42. json-data-encoding-browser
    Documentation
    Type-safe encoding to and decoding from JSON (browser support)
    Nomadic Labs Ocamlpro
    1.1.1
    MIT
    Used by 0 other packages
    12 Dec 2025
  43. json-data-encoding-bson
    Documentation
    Type-safe encoding to and decoding from JSON (bson support)
    Nomadic Labs Ocamlpro
    1.1.1
    MIT
    Used by 1 other packages
    12 Dec 2025
  44. 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
  45. 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
  46. 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+19
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception; BSD-3-clause; GPL-3.0-only
    Used by 2 other packages
    09 Jan 2025
  47. 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
  48. ocaml-canvas
    Documentation
    The OCaml-Canvas library
    David Declerck <david.declerck@ocamlpro.com>
    1.0.0
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    25 Nov 2022
  49. ocaml-config
    Documentation
    OCaml Switch Configuration
    Louis Gesbert <louis.gesbert@ocamlpro.com> David Allsopp
    3
    ISC
    Used by 1 other packages
    03 May 2022
  50. 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
1 2 3