87 search results for "tag:"ocaml""

  1. alt-ergo
    The Alt-Ergo SMT prover
    2.4.2
    LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1; LGPL-2.1-only
    Used by 4 other packages
    Last published 04 Aug 2022
  2. alt-ergo-lib
    The Alt-Ergo SMT prover library
    2.4.2
    LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1
    Used by 3 other packages
    Last published 04 Aug 2022
  3. alt-ergo-parsers
    The Alt-Ergo SMT prover parser library
    2.4.2
    LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1
    Used by 2 other packages
    Last published 04 Aug 2022
  4. altgr-ergo
    The GUI for the Alt-Ergo SMT prover
    2.4.2
    LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1
    Used by 1 other packages
    Last published 04 Aug 2022
  5. annot
    annotation parser for external editors and IDEs
    1.1.0
    Used by 0 other packages
    Last published 20 Jun 2015
  6. autofonce
    A modern runner for GNU Autoconf Testsuites
    0.8
    GPL-3.0-only
    Used by 0 other packages
    Last published 16 Mar 2023
  7. autofonce_config
    A modern runner for GNU Autoconf Testsuites
    0.8
    GPL-3.0-only
    Used by 1 other packages
    Last published 16 Mar 2023
  8. autofonce_core
    A modern runner for GNU Autoconf Testsuites
    0.8
    GPL-3.0-only
    Used by 1 other packages
    Last published 16 Mar 2023
  9. autofonce_lib
    A modern runner for GNU Autoconf Testsuites
    0.8
    GPL-3.0-only
    Used by 1 other packages
    Last published 16 Mar 2023
  10. autofonce_m4
    A modern runner for GNU Autoconf Testsuites
    0.8
    GPL-3.0-only
    Used by 2 other packages
    Last published 16 Mar 2023
  11. autofonce_misc
    A modern runner for GNU Autoconf Testsuites
    0.8
    GPL-3.0-only
    Used by 3 other packages
    Last published 16 Mar 2023
  12. autofonce_patch
    A modern runner for GNU Autoconf Testsuites
    0.8
    GPL-3.0-only
    Used by 1 other packages
    Last published 16 Mar 2023
  13. autofonce_share
    A modern runner for GNU Autoconf Testsuites
    0.8
    GPL-3.0-only
    Used by 2 other packages
    Last published 16 Mar 2023
  14. bsbnative
    bsb-native is BuckleScript's bsb but for ocamlc and ocamlopt
    1.9.4
    SEE LICENSE IN LICENSE
    Used by 0 other packages
    Last published 10 Oct 2017
  15. coq-of-ocaml
    Compile a subset of OCaml to Coq
    2.5.3+4.14
    MIT
    Used by 0 other packages
    Last published 06 Jan 2023
  16. cstruct
    Access C-like structures directly from OCaml
  17. cstruct-async
    Access C-like structures directly from OCaml
  18. cstruct-lwt
    Access C-like structures directly from OCaml
  19. cstruct-sexp
    S-expression serialisers for C-like structures
  20. cstruct-unix
    Access C-like structures directly from OCaml
  21. doc-ock
    Extract documentation from OCaml files
    1.2.1
    ISC
    Used by 3 other packages
    Last published 07 Apr 2018
  22. doc-ock-html
    From doc-ock to HTML
    1.2.1
    ISC
    Used by 1 other packages
    Last published 07 Apr 2018
  23. doc-ock-xml
    XML printer and parser for Doc-Ock
    1.2.1
    ISC
    Used by 1 other packages
    Last published 07 Apr 2018
  24. dockerfile
    Dockerfile eDSL in OCaml
  25. dockerfile-cmd
    Dockerfile eDSL -- generation support
  26. dockerfile-opam
    Dockerfile eDSL -- opam support
  27. drom
    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
    Last published 03 Jan 2023
  28. drom_lib
    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
    Last published 03 Jan 2023
  29. drom_toml
    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
    Last published 03 Jan 2023
  30. ez_cmdliner
    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
    Last published 08 Mar 2022
  31. ez_config
    Easy management of configuration files
    0.2.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 3 other packages
    Last published 08 Mar 2022
  32. ez_file
    Easy file manipulation (read_file, write_file, etc.)
    0.3.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 10 other packages
    Last published 08 Mar 2022
  33. ez_opam_file
    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
    Last published 07 Dec 2020
  34. ez_search
    The ez_search library
    0.2.2
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    Last published 08 Mar 2022
  35. ez_subst
    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
    Last published 08 Mar 2022
  36. ezjsonm
    Simple interface on top of the Jsonm JSON library
    1.3.0
    ISC
    Used by 49 other packages
    Last published 13 Nov 2021
  37. ezjsonm-lwt
    Simple Lwt-based interface to the Jsonm JSON library
    1.3.0
    ISC
    Used by 0 other packages
    Last published 13 Nov 2021
  38. ezxmlm
    Combinators for parsing and selection of XML structures
    1.1.0
    ISC
    Used by 8 other packages
    Last published 02 Feb 2019
  39. geojson
    Pure OCaml library for GeoJSON
    0.1.0
    MIT
    Used by 1 other packages
    Last published 31 Oct 2022
  40. geojsone
    Streaming GeoJSON library
    0.1.0
    MIT
    Used by 1 other packages
    Last published 31 Oct 2022
  41. glical
    Glical: glancing at iCalendar data.
    0.0.7
    ISC
    Used by 0 other packages
    Last published 03 Sep 2016
  42. immutable
    Pure Reason implementation of persistent immutable data structures.
    0.0.15
    BSD-3-Clause
    Used by 0 other packages
    Last published 16 May 2017
  43. llvmgraph
    Ocamlgraph overlay for llvm
    0.2
    MIT
    Used by 0 other packages
    Last published 21 Apr 2015
  44. minima-theme
    OCaml port of the Jekyll Minima theme
    1.0.0
    ISC
    Used by 0 other packages
    Last published 14 Dec 2016
  45. mirror
    Mirror upstream OPAM package distribution files
    0.0.1
    ISC
    Used by 0 other packages
    Last published 05 Aug 2015
  46. obi
    interface to OCaml Build Infrastructure
    1.0.0
    ISC
    Used by 1 other packages
    Last published 13 Jun 2018
  47. ocaml-migrate-parsetree
    Convert OCaml parsetrees between different versions
    2.4.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 14 other packages
    Last published 17 Jun 2022
  48. ocaml-migrate-parsetree-ocamlbuild
    Ocamlbuild plugin for ocaml-migrate-parsetree
    1.2.0
    LGPL-2.1-only
    Used by 0 other packages
    Last published 11 Jan 2019
  49. ocaml-top
    The OCaml interactive editor for education
    1.2.0
    GPL-3.0-only
    Used by 0 other packages
    Last published 09 Feb 2023
  50. ocaml-version
    Manipulate, parse and generate OCaml compiler version strings
    3.6.1
    ISC
    Used by 6 other packages
    Last published 06 Mar 2023
  51. ocamlbuild-pkg
    An ocamlbuild plugin that helps packaging softwares.
    0.2.1
    MIT
    Used by 1 other packages
    Last published 18 Nov 2016
  52. ocamlfind-lint
    Simple tool performing checks on installed findlib META files
    0.1.0
    New BSD License
    Used by 0 other packages
    Last published 05 Mar 2015
  53. ocb-stubblr
    OCamlbuild plugin for C stubs
    0.1.1-1
    ISC
    Used by 14 other packages
    Last published 13 Oct 2018
  54. ocp-browser
    Console browser for the documentation of installed OCaml libraries
    1.3.4
    GPL-3.0-only
    Used by 0 other packages
    Last published 21 Sep 2022
  55. ocp-indent
    A simple tool to indent OCaml programs
    1.8.1
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 12 other packages
    Last published 24 Oct 2019
  56. ocp-indent-nlfork
    ocp-indent library, "newline tokens" fork
  57. ocp-index
    Lightweight completion and documentation browsing for OCaml libraries
    1.3.4
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception; GPL-3.0-only
    Used by 5 other packages
    Last published 21 Sep 2022
  58. ocp-pack-split
    ocp-pack and ocp-split
    1.0.1
    Used by 0 other packages
    Last published 21 Aug 2015
  59. ocp-reloc
    Relocation of OCaml bytecode executables
    0.1
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    Last published 31 Aug 2018
  60. ocp-search
    The ocp-search tool to index/search source packages
    0.2.2
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    Last published 08 Mar 2022
  61. ocplib_stuff
    Basic stuff used by some OCP libraries and tools
    0.3.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 8 other packages
    Last published 22 Sep 2020
  62. odoc-depgraph
    Custom OCamldoc generator to insert clickable dependency graphs in generated html page
    1.0
    LGPL-2.1-only
    Used by 0 other packages
    Last published 08 Apr 2015
  63. omd
    A Markdown frontend in pure OCaml
    2.0.0~alpha3
    ISC
    Used by 19 other packages
    Last published 14 Dec 2022
  64. opam-bin
    The opam-bin tool is a simple framework to use `opam` with binary packages
    1.2.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    Last published 30 Dec 2022
  65. opam-bundle
    A tool that creates stand-alone source bundles from opam packages
    0.4
    GPL-3.0-only
    Used by 0 other packages
    Last published 03 Dec 2018
  66. opam-ci
    Query the opam package build status
    1.0.0
    ISC
    Used by 0 other packages
    Last published 13 Jun 2018
  67. opam-custom-install
    An opam plugin to install a package using a custom command
    0.3
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    Last published 08 Nov 2022
  68. opam-doc
    Produce documentation for OPAM packages
    0.9.3
    Used by 0 other packages
    Last published 02 Jan 2014
  69. opam-package-upgrade
    Upgrades opam package definition files to the latest format
    0.2
    GPL-3.0-only
    Used by 0 other packages
    Last published 23 Mar 2020
  70. opam-sync-github-prs
    Sync OCaml GitHub issues with OPAM
    1.1.0
    Used by 0 other packages
    Last published 07 Aug 2015
  71. opam_bin_lib
    The opam-bin tool is a simple framework to use `opam` with binary packages
    1.2.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    Last published 30 Dec 2022
  72. opine
    Python AST unparse implementation in OCaml
    0.1.3
    MIT
    Used by 0 other packages
    Last published 23 Feb 2023
  73. owi
    OCaml toolchain to work with WebAssembly, including and interpreter
    0.1
    ISC
    Used by 0 other packages
    Last published 16 Jan 2023
  74. ppx_cstruct
    Access C-like structures directly from OCaml
  75. solidity-alcotest
    The ocaml-solidity project
    0.2.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    Last published 27 Apr 2021
  76. solidity-common
    The ocaml-solidity project
    0.2.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 4 other packages
    Last published 27 Apr 2021
  77. solidity-parser
    The ocaml-solidity project
    0.2.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 3 other packages
    Last published 27 Apr 2021
  78. solidity-test
    The ocaml-solidity project
    0.2.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    Last published 27 Apr 2021
  79. solidity-typechecker
    The ocaml-solidity project
    0.2.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 2 other packages
    Last published 27 Apr 2021
  80. stdlib-shims
    Backport some of the new stdlib features to older compiler
    0.3.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 80 other packages
    Last published 03 Feb 2021
  81. topkg
    The transitory OCaml software packager
    1.0.7
    ISC
    Used by 227 other packages
    Last published 01 Feb 2023
  82. topkg-care
    The transitory OCaml software packager
    1.0.7
    ISC
    Used by 0 other packages
    Last published 01 Feb 2023
  83. travis-senv
    Utility to manipulate Travis CI secure environment variables
    1.0.0
    Used by 0 other packages
    Last published 21 Nov 2013
  84. uchar
    Compatibility library for OCaml's Uchar module
    0.0.2
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 16 other packages
    Last published 16 Jul 2017
  85. user-setup
    Helper for the configuration of editors for the use of OCaml tools
    0.7
    ISC
    Used by 0 other packages
    Last published 31 May 2018
  86. yaml
    Parse and generate YAML 1.1/1.2 files
  87. yaml-sexp
    Parse and generate YAML 1.1 files