-
alt-ergo
The Alt-Ergo SMT prover
LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1; LGPL-2.1-only
Last published 04 Aug 2022
-
alt-ergo-lib
The Alt-Ergo SMT prover library
LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1
Last published 04 Aug 2022
-
alt-ergo-parsers
The Alt-Ergo SMT prover parser library
LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1
Last published 04 Aug 2022
-
altgr-ergo
The GUI for the Alt-Ergo SMT prover
LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1
Last published 04 Aug 2022
-
annot
annotation parser for external editors and IDEs
Last published 20 Jun 2015
-
autofonce
A modern runner for GNU Autoconf Testsuites
Last published 16 Mar 2023
-
autofonce_config
A modern runner for GNU Autoconf Testsuites
Last published 16 Mar 2023
-
autofonce_core
A modern runner for GNU Autoconf Testsuites
Last published 16 Mar 2023
-
autofonce_lib
A modern runner for GNU Autoconf Testsuites
Last published 16 Mar 2023
-
autofonce_m4
A modern runner for GNU Autoconf Testsuites
Last published 16 Mar 2023
-
autofonce_misc
A modern runner for GNU Autoconf Testsuites
Last published 16 Mar 2023
-
autofonce_patch
A modern runner for GNU Autoconf Testsuites
Last published 16 Mar 2023
-
autofonce_share
A modern runner for GNU Autoconf Testsuites
Last published 16 Mar 2023
-
bsbnative
bsb-native is BuckleScript's bsb but for ocamlc and ocamlopt
Last published 10 Oct 2017
-
coq-of-ocaml
Compile a subset of OCaml to Coq
Last published 06 Jan 2023
-
cstruct
Access C-like structures directly from OCaml
Used by 232 other packages
Last published 14 Mar 2023
-
cstruct-async
Access C-like structures directly from OCaml
Last published 14 Mar 2023
-
cstruct-lwt
Access C-like structures directly from OCaml
Used by 28 other packages
Last published 14 Mar 2023
-
cstruct-sexp
S-expression serialisers for C-like structures
Last published 14 Mar 2023
-
cstruct-unix
Access C-like structures directly from OCaml
Used by 12 other packages
Last published 14 Mar 2023
-
doc-ock
Extract documentation from OCaml files
Last published 07 Apr 2018
-
doc-ock-html
From doc-ock to HTML
Last published 07 Apr 2018
-
doc-ock-xml
XML printer and parser for Doc-Ock
Last published 07 Apr 2018
-
dockerfile
Dockerfile eDSL in OCaml
Last published 17 Nov 2022
-
dockerfile-cmd
Dockerfile eDSL -- generation support
Last published 17 Nov 2022
-
dockerfile-opam
Dockerfile eDSL -- opam support
Last published 17 Nov 2022
-
drom
The drom tool is a wrapper over opam/dune in an attempt to provide a cargo-like user experience
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Last published 03 Jan 2023
-
drom_lib
The drom tool is a wrapper over opam/dune in an attempt to provide a cargo-like user experience
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Last published 03 Jan 2023
-
drom_toml
The drom tool is a wrapper over opam/dune in an attempt to provide a cargo-like user experience
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Last published 03 Jan 2023
-
ez_cmdliner
Easy interface to Cmdliner à la Arg.parse with sub-commands
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Last published 08 Mar 2022
-
ez_config
Easy management of configuration files
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Last published 08 Mar 2022
-
ez_file
Easy file manipulation (read_file, write_file, etc.)
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 10 other packages
Last published 08 Mar 2022
-
ez_opam_file
Package ez_opam_file is a simple compatibility layer on top of opam-file-format
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Last published 07 Dec 2020
-
ez_search
The ez_search library
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Last published 08 Mar 2022
-
ez_subst
Ez_subst is a simple module to perform string substitutions
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Last published 08 Mar 2022
-
ezjsonm
Simple interface on top of the Jsonm JSON library
Used by 49 other packages
Last published 13 Nov 2021
-
ezjsonm-lwt
Simple Lwt-based interface to the Jsonm JSON library
Last published 13 Nov 2021
-
ezxmlm
Combinators for parsing and selection of XML structures
Last published 02 Feb 2019
-
geojson
Pure OCaml library for GeoJSON
Last published 31 Oct 2022
-
geojsone
Streaming GeoJSON library
Last published 31 Oct 2022
-
glical
Glical: glancing at iCalendar data.
Last published 03 Sep 2016
-
immutable
Pure Reason implementation of persistent immutable data structures.
Last published 16 May 2017
-
llvmgraph
Ocamlgraph overlay for llvm
Last published 21 Apr 2015
-
minima-theme
OCaml port of the Jekyll Minima theme
Last published 14 Dec 2016
-
mirror
Mirror upstream OPAM package distribution files
Last published 05 Aug 2015
-
obi
interface to OCaml Build Infrastructure
Last published 13 Jun 2018
-
ocaml-migrate-parsetree
Convert OCaml parsetrees between different versions
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 14 other packages
Last published 17 Jun 2022
-
ocaml-migrate-parsetree-ocamlbuild
Ocamlbuild plugin for ocaml-migrate-parsetree
Last published 11 Jan 2019
-
ocaml-top
The OCaml interactive editor for education
Last published 09 Feb 2023
-
ocaml-version
Manipulate, parse and generate OCaml compiler version strings
Last published 06 Mar 2023
-
ocamlbuild-pkg
An ocamlbuild plugin that helps packaging softwares.
Last published 18 Nov 2016
-
ocamlfind-lint
Simple tool performing checks on installed findlib META files
Last published 05 Mar 2015
-
ocb-stubblr
OCamlbuild plugin for C stubs
Used by 14 other packages
Last published 13 Oct 2018
-
ocp-browser
Console browser for the documentation of installed OCaml libraries
Last published 21 Sep 2022
-
ocp-indent
A simple tool to indent OCaml programs
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 12 other packages
Last published 24 Oct 2019
-
ocp-indent-nlfork
ocp-indent library, "newline tokens" fork
Last published 07 Feb 2020
-
ocp-index
Lightweight completion and documentation browsing for OCaml libraries
LGPL-2.1-only WITH OCaml-LGPL-linking-exception; GPL-3.0-only
Last published 21 Sep 2022
-
ocp-pack-split
ocp-pack and ocp-split
Last published 21 Aug 2015
-
ocp-reloc
Relocation of OCaml bytecode executables
LGPL-3.0-only WITH OCaml-LGPL-linking-exception
Last published 31 Aug 2018
-
ocp-search
The ocp-search tool to index/search source packages
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Last published 08 Mar 2022
-
ocplib_stuff
Basic stuff used by some OCP libraries and tools
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Last published 22 Sep 2020
-
odoc-depgraph
Custom OCamldoc generator to insert clickable dependency graphs in generated html page
Last published 08 Apr 2015
-
omd
A Markdown frontend in pure OCaml
Used by 19 other packages
Last published 14 Dec 2022
-
opam-bin
The opam-bin tool is a simple framework to use `opam` with binary packages
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Last published 30 Dec 2022
-
opam-bundle
A tool that creates stand-alone source bundles from opam packages
Last published 03 Dec 2018
-
opam-ci
Query the opam package build status
Last published 13 Jun 2018
-
opam-custom-install
An opam plugin to install a package using a custom command
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Last published 08 Nov 2022
-
opam-doc
Produce documentation for OPAM packages
Last published 02 Jan 2014
-
opam-package-upgrade
Upgrades opam package definition files to the latest format
Last published 23 Mar 2020
-
opam-sync-github-prs
Sync OCaml GitHub issues with OPAM
Last published 07 Aug 2015
-
opam_bin_lib
The opam-bin tool is a simple framework to use `opam` with binary packages
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Last published 30 Dec 2022
-
opine
Python AST unparse implementation in OCaml
Last published 23 Feb 2023
-
owi
OCaml toolchain to work with WebAssembly, including and interpreter
Last published 16 Jan 2023
-
ppx_cstruct
Access C-like structures directly from OCaml
Used by 39 other packages
Last published 14 Mar 2023
-
solidity-alcotest
The ocaml-solidity project
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Last published 27 Apr 2021
-
solidity-common
The ocaml-solidity project
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Last published 27 Apr 2021
-
solidity-parser
The ocaml-solidity project
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Last published 27 Apr 2021
-
solidity-test
The ocaml-solidity project
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Last published 27 Apr 2021
-
solidity-typechecker
The ocaml-solidity project
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Last published 27 Apr 2021
-
stdlib-shims
Backport some of the new stdlib features to older compiler
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 80 other packages
Last published 03 Feb 2021
-
topkg
The transitory OCaml software packager
Used by 227 other packages
Last published 01 Feb 2023
-
topkg-care
The transitory OCaml software packager
Last published 01 Feb 2023
-
travis-senv
Utility to manipulate Travis CI secure environment variables
Last published 21 Nov 2013
-
uchar
Compatibility library for OCaml's Uchar module
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 16 other packages
Last published 16 Jul 2017
-
user-setup
Helper for the configuration of editors for the use of OCaml tools
Last published 31 May 2018
-
yaml
Parse and generate YAML 1.1/1.2 files
Used by 15 other packages
Last published 27 Mar 2022
-
yaml-sexp
Parse and generate YAML 1.1 files
Last published 27 Mar 2022