43 search results for "tag:"org:OCamlPro""

Showing 1 - 43
  1. 2.5.2
    LicenseRef-OCamlpro-Non-Commercial; Apache-2.0
    Used by 5 other packages
    18 Oct 2023
  2. The Alt-Ergo SMT prover library
    2.5.2
    LicenseRef-OCamlpro-Non-Commercial; Apache-2.0
    Used by 3 other packages
    18 Oct 2023
  3. The Alt-Ergo SMT prover parser library
    2.5.2
    LicenseRef-OCamlpro-Non-Commercial; Apache-2.0
    Used by 2 other packages
    18 Oct 2023
  4. The GUI for the Alt-Ergo SMT prover
    2.4.3
    LicenseRef-OCamlpro-Non-Commercial; Apache-2.0; LGPL-2.1-only
    Used by 1 other packages
    27 Apr 2023
  5. 0.8
    GPL-3.0-only
    Used by 0 other packages
    16 Mar 2023
  6. 0.8
    GPL-3.0-only
    Used by 1 other packages
    16 Mar 2023
  7. 0.8
    GPL-3.0-only
    Used by 1 other packages
    16 Mar 2023
  8. 0.8
    GPL-3.0-only
    Used by 1 other packages
    16 Mar 2023
  9. 0.8
    GPL-3.0-only
    Used by 2 other packages
    16 Mar 2023
  10. 0.8
    GPL-3.0-only
    Used by 3 other packages
    16 Mar 2023
  11. 0.8
    GPL-3.0-only
    Used by 1 other packages
    16 Mar 2023
  12. 0.8
    GPL-3.0-only
    Used by 2 other packages
    16 Mar 2023
  13. The drom tool is a wrapper over opam/dune in an attempt to provide a cargo-like user experience
    0.8.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    03 Jan 2023
  14. The drom tool is a wrapper over opam/dune in an attempt to provide a cargo-like user experience
    0.8.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    03 Jan 2023
  15. The drom tool is a wrapper over opam/dune in an attempt to provide a cargo-like user experience
    0.8.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    03 Jan 2023
  16. Easy interface to Cmdliner à la Arg.parse with sub-commands
    0.4.3
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 6 other packages
    08 Mar 2022
  17. 0.2.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 3 other packages
    08 Mar 2022
  18. Easy file manipulation (read_file, write_file, etc.)
    0.3.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 13 other packages
    08 Mar 2022
  19. Package ez_opam_file is a simple compatibility layer on top of opam-file-format
    0.1.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 2 other packages
    07 Dec 2020
  20. 0.2.2
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    08 Mar 2022
  21. Ez_subst is a simple module to perform string substitutions
    0.2.1
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 2 other packages
    08 Mar 2022
  22. A tool to check and update source headers, using checksums
    0.1.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    28 Apr 2023
  23. The module-graph tool generates a graph of dependencies between OCaml modules using compiled object files
    0.2.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    28 Apr 2023
  24. 1.2.0
    GPL-3.0-only
    Used by 0 other packages
    09 Feb 2023
  25. Console browser for the documentation of installed OCaml libraries
    1.3.5
    GPL-3.0-only
    Used by 0 other packages
    07 Aug 2023
  26. 1.8.1
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 13 other packages
    24 Oct 2019
  27. 1.5.4
    LGPL-3.0-or-later
    Used by 2 other packages
    07 Feb 2020
  28. Lightweight completion and documentation browsing for OCaml libraries
    1.3.5
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception; GPL-3.0-only
    Used by 5 other packages
    07 Aug 2023
  29. ocp-pack-split

    No documentation

    1.0.1
    Used by 0 other packages
    21 Aug 2015
  30. 0.1
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    31 Aug 2018
  31. The ocp-search tool to index/search source packages
    0.2.2
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    08 Mar 2022
  32. Basic stuff used by some OCP libraries and tools
    0.4.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 10 other packages
    28 Apr 2023
  33. The opam-bin tool is a simple framework to use `opam` with binary packages
    1.2.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    30 Dec 2022
  34. A tool that creates stand-alone source bundles from opam packages
    0.4
    GPL-3.0-only
    Used by 0 other packages
    03 Dec 2018
  35. An opam plugin to install a package using a custom command
    0.3
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    08 Nov 2022
  36. Upgrades opam package definition files to the latest format
    0.2
    GPL-3.0-only
    Used by 0 other packages
    23 Mar 2020
  37. The opam-bin tool is a simple framework to use `opam` with binary packages
    1.2.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    30 Dec 2022
  38. 0.2.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    27 Apr 2021
  39. 0.2.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 4 other packages
    27 Apr 2021
  40. 0.2.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 3 other packages
    27 Apr 2021
  41. 0.2.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    27 Apr 2021
  42. 0.2.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 2 other packages
    27 Apr 2021
  43. Helper for the configuration of editors for the use of OCaml tools
    0.7
    ISC
    Used by 0 other packages
    31 May 2018