83 search results for "tag:"ocaml""

Showing 1 - 50
  1. alt-ergo

    No documentation

    The Alt-Ergo SMT prover
    org:OCamlPro
    Alt-Ergo developers <alt-ergo@ocamlpro.com>
    2.6.1
    LicenseRef-OCamlpro-Non-Commercial; Apache-2.0
    Used by 3 other packages
    17 Apr 2025
  2. alt-ergo-lib

    No documentation

    The Alt-Ergo SMT prover library
    org:OCamlPro
    Alt-Ergo developers <alt-ergo@ocamlpro.com>
    2.6.1
    LicenseRef-OCamlpro-Non-Commercial; Apache-2.0
    Used by 3 other packages
    17 Apr 2025
  3. alt-ergo-parsers

    No documentation

    The Alt-Ergo SMT prover parser library
    org:OCamlPro
    Alt-Ergo developers <alt-ergo@ocamlpro.com>
    2.6.1
    LicenseRef-OCamlpro-Non-Commercial; Apache-2.0
    Used by 2 other packages
    17 Apr 2025
  4. 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
    27 Apr 2023
  5. 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
    16 Mar 2023
  6. 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
    16 Mar 2023
  7. 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
    16 Mar 2023
  8. 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
    16 Mar 2023
  9. 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
    16 Mar 2023
  10. 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
    16 Mar 2023
  11. 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
    16 Mar 2023
  12. 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
    16 Mar 2023
  13. 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
    10 Apr 2024
  14. 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
    06 Jan 2023
  15. 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 219 other packages
    14 Mar 2023
  16. 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
    14 Mar 2023
  17. 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 21 other packages
    14 Mar 2023
  18. 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
    14 Mar 2023
  19. 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 12 other packages
    14 Mar 2023
  20. dockerfile

    No documentation

    Dockerfile eDSL in OCaml
    org:mirage org:ocamllabs
    Anil Madhavapeddy Anton Kochkov Antonin Décimo David Allsopp Ewan Mellor et al.
    8.2.6
    ISC
    Used by 4 other packages
    17 Apr 2025
  21. dockerfile-cmd

    No documentation

    Dockerfile eDSL -- generation support
    org:mirage org:ocamllabs
    Anil Madhavapeddy Anton Kochkov Antonin Décimo David Allsopp Ewan Mellor et al.
    8.2.6
    ISC
    Used by 1 other packages
    17 Apr 2025
  22. dockerfile-opam

    No documentation

    Dockerfile eDSL -- opam support
    org:mirage org:ocamllabs
    Anil Madhavapeddy Anton Kochkov Antonin Décimo David Allsopp Ewan Mellor et al.
    8.2.6
    ISC
    Used by 1 other packages
    17 Apr 2025
  23. 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> Léo Andrès <leo.andres@ocamlpro.com>
    0.8.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    03 Jan 2023
  24. 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> Léo Andrès <leo.andres@ocamlpro.com>
    0.8.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    03 Jan 2023
  25. 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> Léo Andrès <leo.andres@ocamlpro.com>
    0.8.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    03 Jan 2023
  26. ez_cmdliner
    Documentation
    Easy interface to Cmdliner à la Arg.parse with sub-commands
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com>
    0.4.3
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 6 other packages
    08 Mar 2022
  27. 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
    08 Mar 2022
  28. ez_file
    Documentation
    Easy file manipulation (read_file, write_file, etc.)
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com>
    0.3.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 13 other packages
    08 Mar 2022
  29. 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
    07 Dec 2020
  30. 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
    08 Mar 2022
  31. 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
    08 Mar 2022
  32. ezjsonm
    Documentation
    Simple interface on top of the Jsonm JSON library
    org:mirage org:ocamllabs
    Thomas Gazagnaire
    1.3.0
    ISC
    Used by 57 other packages
    13 Nov 2021
  33. 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
    13 Nov 2021
  34. ezxmlm
    Documentation
    Combinators for parsing and selection of XML structures
    org:mirage org:ocamllabs
    Anil Madhavapeddy
    1.1.0
    ISC
    Used by 6 other packages
    02 Feb 2019
  35. geojson
    Documentation
    Pure OCaml library for GeoJSON
    geojson geospatial geocaml
    Patrick Ferris
    0.2.0
    MIT
    Used by 1 other packages
    24 Nov 2023
  36. geojsone
    Documentation
    Streaming GeoJSON library
    geojson geospatial geocaml
    Patrick Ferris
    0.2.0
    MIT
    Used by 1 other packages
    24 Nov 2023
  37. glical
    Documentation
    Glical: glancing at iCalendar data.
    org:ocamllabs
    Philippe Wang <philippe.wang@gmail.com>
    0.0.7
    ISC
    Used by 0 other packages
    03 Sep 2016
  38. 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
    20 Feb 2024
  39. 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
    28 Apr 2023
  40. llvmgraph
    Documentation
    Ocamlgraph overlay for llvm
    llvm ocamlgraph
    Gabriel Radanne
    0.2
    MIT
    Used by 0 other packages
    21 Apr 2015
  41. 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
    14 Dec 2016
  42. 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
    28 Apr 2023
  43. 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
    13 Jun 2018
  44. 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 14 other packages
    17 Jun 2022
  45. 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
    11 Jan 2019
  46. 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
    09 Feb 2023
  47. ocaml-version

    No documentation

    Manipulate, parse and generate OCaml compiler version strings
    org:ocamllabs
    Anil Madhavapeddy <anil@recoil.org>
    4.0.0
    ISC
    Used by 12 other packages
    25 Mar 2025
  48. ocamlbuild-pkg
    Documentation
    An ocamlbuild plugin that helps packaging softwares.
    ocamlbuild package plugin build build-system
    Kate <kit.ty.kate@disroot.org>
    0.2.1
    MIT
    Used by 1 other packages
    18 Nov 2016
  49. ocamlfind-lint
    Documentation
    Simple tool performing checks on installed findlib META files
    findlib ocamlfind check META
    Maxence Guesdon
    0.1.0
    New BSD License
    Used by 0 other packages
    05 Mar 2015
  50. ocb-stubblr
    Documentation
    OCamlbuild plugin for C stubs
    ocamlbuild
    David Kaloper Meršinjak <david@numm.org>
    0.1.1-1
    ISC
    Used by 10 other packages
    13 Oct 2018
1 2