ocamlopt
Enable ocamlopt support (ocaml native code compiler) -- Produces faster programs (Warning: you have to disable/enable it at a global scale)
Name | Category | Description |
---|---|---|
findlib | dev-ml | OCaml tool to find/use non-standard packages |
fix | dev-ml | Facilities for memoization and fixed points |
fmt | dev-ml | Combinators to devise OCaml Format pretty-printing functions |
gapi-ocaml | dev-ml | A simple OCaml client for Google Services |
gappalib-coq | sci-mathematics | Allows the certificates Gappa generates to be imported by the Coq |
gen | dev-ml | Iterators for OCaml, both restartable and consumable |
geneweb | app-misc | Genealogy software program with a Web interface |
google-drive-ocamlfuse | sys-fs | FUSE filesystem over Google Drive |
graphics | dev-ml | The OCaml graphics library |
gsl-ocaml | dev-ml | OCaml bindings for the GSL library (successor of dev-ml/ocamlgsl) |
haxe | dev-lang | Multi-target universal programming language |
hevea | dev-tex | HeVeA is a quite complete and fast LaTeX to HTML translator |
integers | dev-ml | Various signed and unsigned integer types for OCaml |
int_repr | dev-ml | Integers of various widths |
jane-street-headers | dev-ml | Jane Street header files |
jingoo | dev-ml | OCaml template engine almost compatible with Jinja2 |
jsonm | dev-ml | Non-blocking streaming JSON codec for OCaml |
jst-config | dev-ml | Compile-time configuration for Jane Street libraries |
kind2 | sci-mathematics | Multi-engine SMT-based automatic model checker |
lablgl | dev-ml | Objective CAML interface for OpenGL |