91 search results for "tag:"ocaml""

Showing 1 - 50
  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. 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. bsb-native is BuckleScript's bsb but for ocamlc and ocamlopt
    1.9.4
    SEE LICENSE IN LICENSE
    Used by 0 other packages
    10 Oct 2017
  15. 2.5.3+4.14
    MIT
    Used by 0 other packages
    06 Jan 2023
  16. 6.2.0
    ISC
    Used by 236 other packages
    14 Mar 2023
  17. 6.2.0
    ISC
    Used by 2 other packages
    14 Mar 2023
  18. 6.2.0
    ISC
    Used by 28 other packages
    14 Mar 2023
  19. 6.2.0
    ISC
    Used by 7 other packages
    14 Mar 2023
  20. 6.2.0
    ISC
    Used by 12 other packages
    14 Mar 2023
  21. 1.2.1
    ISC
    Used by 3 other packages
    07 Apr 2018
  22. 1.2.1
    ISC
    Used by 1 other packages
    07 Apr 2018
  23. 1.2.1
    ISC
    Used by 1 other packages
    07 Apr 2018
  24. 8.2.1
    ISC
    Used by 5 other packages
    10 Apr 2023
  25. 8.2.1
    ISC
    Used by 1 other packages
    10 Apr 2023
  26. 8.2.1
    ISC
    Used by 1 other packages
    10 Apr 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 0 other packages
    03 Jan 2023
  28. 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
  29. 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
  30. 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
  31. 0.2.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 3 other packages
    08 Mar 2022
  32. 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
  33. 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
  34. 0.2.2
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    08 Mar 2022
  35. 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
  36. Simple interface on top of the Jsonm JSON library
    1.3.0
    ISC
    Used by 56 other packages
    13 Nov 2021
  37. Simple Lwt-based interface to the Jsonm JSON library
    1.3.0
    ISC
    Used by 0 other packages
    13 Nov 2021
  38. Combinators for parsing and selection of XML structures
    1.1.0
    ISC
    Used by 8 other packages
    02 Feb 2019
  39. 0.2.0
    MIT
    Used by 1 other packages
    24 Nov 2023
  40. 0.2.0
    MIT
    Used by 1 other packages
    24 Nov 2023
  41. 0.0.7
    ISC
    Used by 0 other packages
    03 Sep 2016
  42. 1.0.0
    ISC
    Used by 0 other packages
    20 Feb 2024
  43. 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
  44. Pure Reason implementation of persistent immutable data structures.
    0.0.15
    BSD-3-Clause
    Used by 0 other packages
    16 May 2017
  45. Ocamlgraph overlay for llvm
    0.2
    MIT
    Used by 0 other packages
    21 Apr 2015
  46. 1.0.0
    ISC
    Used by 0 other packages
    14 Dec 2016
  47. Mirror upstream OPAM package distribution files
    0.0.1
    ISC
    Used by 0 other packages
    05 Aug 2015
  48. 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
  49. 1.0.0
    ISC
    Used by 1 other packages
    13 Jun 2018
  50. 2.4.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 15 other packages
    17 Jun 2022