OCaml is a general purpose industrial-strength programming language with an emphasis on expressiveness and safety. Developed for more than 20 years at Inria it benefits from one of the most advanced type systems and supports functional, imperative and object-oriented styles of programming.

OCaml is a general purpose industrial-strength programming language with an emphasis on expressiveness and safety. Developed for more than 20 years at Inria it benefits from one of the most advanced type systems and supports functional, imperative and object-oriented styles of programming.

OCaml is a general purpose industrial-strength programming language with an emphasis on expressiveness and safety. Developed for more than 20 years at Inria it benefits from one of the most advanced type systems and supports functional, imperative and object-oriented styles of programming.

OCaml is a general purpose industrial-strength programming language with an emphasis on expressiveness and safety. Developed for more than 20 years at Inria it benefits from one of the most advanced type systems and supports functional, imperative and object-oriented styles of programming.

OCaml is a general purpose industrial-strength programming language with an emphasis on expressiveness and safety. Developed for more than 20 years at Inria it benefits from one of the most advanced type systems and supports functional, imperative and object-oriented styles of programming.

Generate modules from OCaml source files.

Z3 is a theorem prover and satisfiability modulo theories (SMT) solver. It provides a C/C++ API, as well as Python bindings.

OCamlify creates OCaml source code by including whole files into OCaml string or string list. The code generated can be compiled as a standard OCaml file. It allows embedding external resources as OCaml code.

Pure OCaml regular expressions with:

1. Perl-style regular expressions (module Re_perl)

2. Posix extended regular expressions (module Re_posix)

3. Emacs-style regular expressions (module Re_emacs)

4. Shell-style file globbing (module Re_glob)

5. Compatibility layer for OCaml's built-in Str module (module Re_str)

This library provides an alternative to the Format module of the OCaml standard library. Pp uses the same concepts of boxes and break hints, and the final rendering is done to formatter from the Format module. However it defines its own algebra which some might find easier to work with and reason about.

This library provides a lean alternative to the Format [1] module of the OCaml standard library. It aims to make it easy for users to do the right thing. If you have tried Format before but find its API complicated and difficult to use, then Pp might be a good choice for you.

Pp uses the same concepts of boxes and break hints, and the final rendering is done to formatter from the Format module. However it defines its own algebra which some might find easier to work with and reason about. No previous knowledge is required to start using this library, however the various guides for the Format module such as this one [2] should be applicable to Pp as well.

[1]: https://caml.inria.fr/pub/docs/manual-ocaml/libref/Format.html [2]: http://caml.inria.fr/resources/doc/guides/format.en.html

This package provides a dynamic type for OCaml.

Hex is a minimal library providing hexadecimal converters.

This package provides a Markdown library in pure OCaml.

Fmt exposes combinators to devise Format pretty-printing functions.

This package provides an implementation of XDG base directories for OCaml.

This package provides OCaml bindings for the MCL graph clustering algorithm.

Gen implements iterators of OCaml, that are both restartable and consumable.

This package provides helpers with various constructions that involve memoization and recursion.

OCaml-uri is a library for parsing URI/URL in the RFC3986 format.

This ocaml library returns user XDG directories such as XDG_CONFIG_HOME, XDG_STATE_HOME.

This package provides the core modules of Modal Editing Witch, a general modal editing engine generator.

GSL-OCaml is an interface to the GNU scientific library (GSL) for the OCaml language.

This library provides Functional Priority Search Queues for OCaml. Typical applications are searches, schedulers and caches.