91 search results for "tag:"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. combic
    Documentation
    A lightweight library for combinatory logic
    topics combinatory logic functional programming lambda calculus ocaml
    zandacw
    1.0.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  15. coq-of-ocaml
    Documentation
    Compile a subset of OCaml to Coq
    keyword:compilation keyword:OCaml logpath:CoqOfOCaml
    Guillaume Claret
    2.5.3+4.14
    MIT
    Used by 0 other packages
    Added to opam-repository
  16. 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 205 other packages
    Added to opam-repository
  17. 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
  18. 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
  19. 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
  20. 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
  21. 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
  22. 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
  23. 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
  24. 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
  25. 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
  26. 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
  27. dune-ai-context
    Documentation
    Extract dune external dependencies and generate interface context for AI tools
    ocaml dune cmi interfaces ai
    ZFY <zf.yuan.y@gmail.com>
    0.1.2
    MIT
    Used by 0 other packages
    Added to opam-repository
  28. 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
  29. 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
  30. 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
  31. 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
  32. 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
  33. 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
  34. 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
  35. 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
  36. 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
  37. geojson
    Documentation
    Pure OCaml library for GeoJSON
    geojson geospatial geocaml
    Patrick Ferris
    0.2.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  38. geojsone
    Documentation
    Streaming GeoJSON library
    geojson geospatial geocaml
    Patrick Ferris
    0.2.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  39. 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
  40. gpt
    Documentation
    A library to manipulate GUID Partition tables
    mirage ocaml storage gpt
    PizieDust <playersrebirth@gmail.com>
    1.0.0
    ISC
    Used by 1 other packages
    Added to opam-repository
  41. 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
  42. llvmgraph

    No documentation

    Ocamlgraph overlay for llvm
    llvm ocamlgraph
    Gabriel Radanne
    0.2
    MIT
    Used by 0 other packages
    Added to opam-repository
  43. menhir-lsp
    Documentation
    Language Server for Menhir and Ocamllex
    lsp menhir ocamllex
    Federico Dal Pio Luogo
    0.5.0
    GPL-2.0-only
    Used by 0 other packages
    Added to opam-repository
  44. menhirformat
    Documentation
    Formatter for Menhir and ocamllex
    format menhir ocamllex
    Federico Dal Pio Luogo
    0.2.0
    GPL-2.0-only
    Used by 1 other packages
    Added to opam-repository
  45. 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
  46. 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
  47. 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
  48. 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
  49. 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
  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
    Added to opam-repository
1 2