ocamlopt
Enable ocamlopt support (ocaml native code compiler) -- Produces faster programs (Warning: you have to disable/enable it at a global scale)
| Название | Категория | Описание |
|---|---|---|
| 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 |
« Предыдущий 1 2 3 4 5 6 ... 13 Следующий »