75 search results for "tag:"org:ocaml""

Showing 1 - 50
  1. 2.5.3
    LicenseRef-OCamlpro-Non-Commercial; Apache-2.0
    Used by 5 other packages
    21 Mar 2024
  2. The Alt-Ergo SMT prover library
    2.5.3
    LicenseRef-OCamlpro-Non-Commercial; Apache-2.0
    Used by 3 other packages
    21 Mar 2024
  3. The Alt-Ergo SMT prover parser library
    2.5.3
    LicenseRef-OCamlpro-Non-Commercial; Apache-2.0
    Used by 2 other packages
    21 Mar 2024
  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. annotation parser for external editors and IDEs
    1.1.0
    Used by 0 other packages
    20 Jun 2015
  6. 0.8
    GPL-3.0-only
    Used by 0 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 1 other packages
    16 Mar 2023
  10. 0.8
    GPL-3.0-only
    Used by 2 other packages
    16 Mar 2023
  11. 0.8
    GPL-3.0-only
    Used by 3 other packages
    16 Mar 2023
  12. 0.8
    GPL-3.0-only
    Used by 1 other packages
    16 Mar 2023
  13. 0.8
    GPL-3.0-only
    Used by 2 other packages
    16 Mar 2023
  14. 6.2.0
    ISC
    Used by 238 other packages
    14 Mar 2023
  15. 6.2.0
    ISC
    Used by 2 other packages
    14 Mar 2023
  16. 6.2.0
    ISC
    Used by 28 other packages
    14 Mar 2023
  17. 6.2.0
    ISC
    Used by 7 other packages
    14 Mar 2023
  18. 6.2.0
    ISC
    Used by 12 other packages
    14 Mar 2023
  19. 1.2.1
    ISC
    Used by 3 other packages
    07 Apr 2018
  20. doc-ock-html

    No documentation

    1.2.1
    ISC
    Used by 1 other packages
    07 Apr 2018
  21. 1.2.1
    ISC
    Used by 1 other packages
    07 Apr 2018
  22. 8.2.1
    ISC
    Used by 5 other packages
    10 Apr 2023
  23. 8.2.1
    ISC
    Used by 1 other packages
    10 Apr 2023
  24. 8.2.1
    ISC
    Used by 1 other packages
    10 Apr 2023
  25. 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
  26. 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
  27. 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
  28. 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
  29. 0.2.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 3 other packages
    08 Mar 2022
  30. 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
  31. 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
  32. 0.2.2
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    08 Mar 2022
  33. 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
  34. Simple interface on top of the Jsonm JSON library
    1.3.0
    ISC
    Used by 56 other packages
    13 Nov 2021
  35. Simple Lwt-based interface to the Jsonm JSON library
    1.3.0
    ISC
    Used by 0 other packages
    13 Nov 2021
  36. Combinators for parsing and selection of XML structures
    1.1.0
    ISC
    Used by 8 other packages
    02 Feb 2019
  37. 0.0.7
    ISC
    Used by 0 other packages
    03 Sep 2016
  38. 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
  39. 1.0.0
    ISC
    Used by 0 other packages
    14 Dec 2016
  40. mirror

    No documentation

    Mirror upstream OPAM package distribution files
    0.0.1
    ISC
    Used by 0 other packages
    05 Aug 2015
  41. 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
  42. 1.0.0
    ISC
    Used by 1 other packages
    13 Jun 2018
  43. 2.4.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 15 other packages
    17 Jun 2022
  44. Ocamlbuild plugin for ocaml-migrate-parsetree
    1.2.0
    LGPL-2.1-only
    Used by 0 other packages
    11 Jan 2019
  45. 1.2.0
    GPL-3.0-only
    Used by 0 other packages
    09 Feb 2023
  46. Manipulate, parse and generate OCaml compiler version strings
    3.6.5
    ISC
    Used by 8 other packages
    19 Mar 2024
  47. Console browser for the documentation of installed OCaml libraries
    1.3.6
    GPL-3.0-only
    Used by 0 other packages
    27 Feb 2024
  48. 1.8.1
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 13 other packages
    24 Oct 2019
  49. 1.5.4
    LGPL-3.0-or-later
    Used by 2 other packages
    07 Feb 2020
  50. Lightweight completion and documentation browsing for OCaml libraries
    1.3.6
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception; GPL-3.0-only
    Used by 5 other packages
    27 Feb 2024