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

Showing 1 - 50
  1. alt-ergo
    Documentation
    The Alt-Ergo SMT prover
    org:OCamlPro
    Alt-Ergo developers <alt-ergo@ocamlpro.com>
    2.6.3
    LicenseRef-OCamlpro-Non-Commercial; Apache-2.0
    Used by 3 other packages
    Added to opam-repository
  2. alt-ergo-free
    Documentation
    The Alt-Ergo SMT prover
    org:OCamlPro
    Alt-Ergo developers
    2.4.3
    CECILL-C
    Used by 1 other packages
    Added to opam-repository
  3. alt-ergo-lib
    Documentation
    The Alt-Ergo SMT prover library
    org:OCamlPro
    Alt-Ergo developers <alt-ergo@ocamlpro.com>
    2.6.3
    LicenseRef-OCamlpro-Non-Commercial; Apache-2.0
    Used by 3 other packages
    Added to opam-repository
  4. alt-ergo-parsers
    Documentation
    The Alt-Ergo SMT prover parser library
    org:OCamlPro
    Alt-Ergo developers <alt-ergo@ocamlpro.com>
    2.6.3
    LicenseRef-OCamlpro-Non-Commercial; Apache-2.0
    Used by 2 other packages
    Added to opam-repository
  5. altgr-ergo
    Documentation
    The GUI for the Alt-Ergo SMT prover
    org:OCamlPro
    Alt-Ergo developers
    2.4.3
    LicenseRef-OCamlpro-Non-Commercial; Apache-2.0; LGPL-2.1-only
    Used by 0 other packages
    Added to opam-repository
  6. 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
    Added to opam-repository
  7. 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
    Added to opam-repository
  8. 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
    Added to opam-repository
  9. 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
    Added to opam-repository
  10. 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
    Added to opam-repository
  11. 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
    Added to opam-repository
  12. 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
    Added to opam-repository
  13. 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
    Added to opam-repository
  14. cstruct
    Documentation
    Access C-like structures directly from OCaml
    org:mirage org:ocamllabs
    Anil Madhavapeddy Richard Mortier Thomas Gazagnaire Pierre Chambart David Kaloper et al.
    6.2.0
    ISC
    Used by 204 other packages
    Added to opam-repository
  15. cstruct-async
    Documentation
    Access C-like structures directly from OCaml
    org:mirage org:ocamllabs
    Anil Madhavapeddy Richard Mortier Thomas Gazagnaire Pierre Chambart David Kaloper et al.
    6.2.0
    ISC
    Used by 1 other packages
    Added to opam-repository
  16. cstruct-lwt
    Documentation
    Access C-like structures directly from OCaml
    org:mirage org:ocamllabs
    Anil Madhavapeddy Richard Mortier Thomas Gazagnaire Pierre Chambart David Kaloper et al.
    6.2.0
    ISC
    Used by 16 other packages
    Added to opam-repository
  17. cstruct-sexp
    Documentation
    S-expression serialisers for C-like structures
    org:mirage org:ocamllabs
    Anil Madhavapeddy Richard Mortier Thomas Gazagnaire Pierre Chambart David Kaloper et al.
    6.2.0
    ISC
    Used by 6 other packages
    Added to opam-repository
  18. cstruct-unix
    Documentation
    Access C-like structures directly from OCaml
    org:mirage org:ocamllabs
    Anil Madhavapeddy Richard Mortier Thomas Gazagnaire Pierre Chambart David Kaloper et al.
    6.2.0
    ISC
    Used by 9 other packages
    Added to opam-repository
  19. dockerfile
    Documentation
    Dockerfile eDSL in OCaml
    org:mirage org:ocamllabs
    Anil Madhavapeddy Anton Kochkov Antonin Décimo David Allsopp Ewan Mellor et al.
    8.4.2
    ISC
    Used by 4 other packages
    Added to opam-repository
  20. dockerfile-cmd
    Documentation
    Dockerfile eDSL -- generation support
    org:mirage org:ocamllabs
    Anil Madhavapeddy Anton Kochkov Antonin Décimo David Allsopp Ewan Mellor et al.
    8.4.2
    ISC
    Used by 1 other packages
    Added to opam-repository
  21. dockerfile-opam
    Documentation
    Dockerfile eDSL -- opam support
    org:mirage org:ocamllabs
    Anil Madhavapeddy Anton Kochkov Antonin Décimo David Allsopp Ewan Mellor et al.
    8.4.2
    ISC
    Used by 1 other packages
    Added to opam-repository
  22. 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> redianthus <leo@ocaml.pro>
    0.8.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    Added to opam-repository
  23. 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> redianthus <leo@ocaml.pro>
    0.8.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    Added to opam-repository
  24. 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> redianthus <leo@ocaml.pro>
    0.8.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    Added to opam-repository
  25. ez_cmdliner
    Documentation
    Easy interface to Cmdliner à la Arg.parse with sub-commands
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com>
    0.5.0
    LGPL-2.1-only with OCaml-LGPL-linking-exception
    Used by 6 other packages
    Added to opam-repository
  26. 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
    Added to opam-repository
  27. ez_file
    Documentation
    Easy file manipulation (read_file, write_file, etc.)
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com>
    0.5.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 13 other packages
    Added to opam-repository
  28. ez_opam_file
    Documentation
    Package ez_opam_file is a simple compatibility layer on top of opam-file-format
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@origin-labs.com>
    0.1.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 2 other packages
    Added to opam-repository
  29. ez_search
    Documentation
    The ez_search library
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@origin-labs.com>
    0.2.2
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    Added to opam-repository
  30. ez_subst
    Documentation
    Ez_subst is a simple module to perform string substitutions
    org:ocamlpro
    Fabrice LE FESSANT <fabrice.le_fessant@origin-labs.com>
    0.2.1
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 2 other packages
    Added to opam-repository
  31. ezjsonm
    Documentation
    Simple interface on top of the Jsonm JSON library
    org:mirage org:ocamllabs
    Thomas Gazagnaire
    1.3.0
    ISC
    Used by 55 other packages
    Added to opam-repository
  32. ezjsonm-lwt
    Documentation
    Simple Lwt-based interface to the Jsonm JSON library
    org:mirage org:ocamllabs
    Thomas Gazagnaire
    1.3.0
    ISC
    Used by 0 other packages
    Added to opam-repository
  33. ezxmlm
    Documentation
    Combinators for parsing and selection of XML structures
    org:mirage org:ocamllabs
    Anil Madhavapeddy
    1.1.0
    ISC
    Used by 8 other packages
    Added to opam-repository
  34. glical
    Documentation
    Glical: glancing at iCalendar data.
    org:ocamllabs
    Philippe Wang <philippe.wang@gmail.com>
    0.0.7
    ISC
    Used by 0 other packages
    Added to opam-repository
  35. 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
    Added to opam-repository
  36. minima-theme
    Documentation
    OCaml port of the Jekyll Minima theme
    org:mirage org:ocamllabs
    Anil Madhavapeddy <anil@recoil.org>
    1.0.0
    ISC
    Used by 0 other packages
    Added to opam-repository
  37. module-graph
    Documentation
    The module-graph tool generates a graph of dependencies between OCaml modules using compiled object files
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@origin-labs.com>
    0.2.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    Added to opam-repository
  38. obi
    Documentation
    interface to OCaml Build Infrastructure
    org:mirage org:ocamllabs
    Anil Madhavapeddy <anil@recoil.org>
    1.0.0
    ISC
    Used by 1 other packages
    Added to opam-repository
  39. ocaml-migrate-parsetree
    Documentation
    Convert OCaml parsetrees between different versions
    syntax org:ocamllabs
    Frédéric Bour <frederic.bour@lakaban.net> Jérémie Dimino <jeremie@dimino.org>
    2.4.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 11 other packages
    Added to opam-repository
  40. ocaml-migrate-parsetree-ocamlbuild
    Documentation
    Ocamlbuild plugin for ocaml-migrate-parsetree
    syntax org:ocamllabs
    Jérémie Dimino <jeremie@dimino.org>
    1.2.0
    LGPL-2.1-only
    Used by 0 other packages
    Added to opam-repository
  41. 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
    Added to opam-repository
  42. ocaml-version
    Documentation
    Manipulate, parse and generate OCaml compiler version strings
    org:ocamllabs
    Anil Madhavapeddy <anil@recoil.org>
    4.1.3
    ISC
    Used by 13 other packages
    Added to opam-repository
  43. ocp-browser
    Documentation
    Console browser for the documentation of installed OCaml libraries
    org:ocamlpro org:typerex
    Louis Gesbert Gabriel Radanne
    1.4.1
    GPL-3.0-only
    Used by 0 other packages
    Added to opam-repository
  44. ocp-indent
    Documentation
    A simple tool to indent OCaml programs
    org:ocamlpro org:typerex
    Louis Gesbert <louis.gesbert@ocamlpro.com> Thomas Gazagnaire <thomas@gazagnaire.org> Jun Furuse
    1.9.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 27 other packages
    Added to opam-repository
  45. ocp-indent-nlfork
    Documentation
    `ocp-indent` library, "newline tokens" fork
    org:ocamlpro org:typerex
    Grégoire Henry <gregoire.henry@ocamlpro.com> Louis Gesbert <louis.gesbert@ocamlpro.com> Thomas Gazagnaire <thomas@gazagnaire.org> Jun Furuse
    1.5.5
    LGPL-3.0-or-later
    Used by 2 other packages
    Added to opam-repository
  46. ocp-index
    Documentation
    Lightweight completion and documentation browsing for OCaml libraries
    org:ocamlpro org:typerex
    Louis Gesbert Gabriel Radanne Kate Deplaix
    1.4.1
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception; GPL-3.0-only
    Used by 3 other packages
    Added to opam-repository
  47. ocp-pack-split
    Documentation
    ocp-pack and ocp-split
    org:ocamlpro
    Fabrice Le Fessant Thomas Gazagnaire
    1.0.1
    Used by 0 other packages
    Added to opam-repository
  48. ocp-reloc
    Documentation
    Relocation of OCaml bytecode executables
    org:ocamlpro org:typerex
    Louis Gesbert <louis.gesbert@ocamlpro.com>
    0.1
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    Added to opam-repository
  49. ocp-search
    Documentation
    The ocp-search tool to index/search source packages
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@origin-labs.com>
    0.2.2
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    Added to opam-repository
  50. ocplib_stuff
    Documentation
    Basic stuff used by some OCP libraries and tools
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com>
    0.4.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 10 other packages
    Added to opam-repository
1 2