ocamlopt
Enables ocamlopt support (ocaml native code compiler) -- Produces faster programs (Warning: you have to disable/enable it at a global scale)
| Name | Category | Description |
|---|---|---|
| active-dvi | app-text | A DVI previewer and a presenter for slides written in LaTeX |
| ANSITerminal | dev-ml | Module which offers basic control of ANSI compliant terminals |
| batteries | dev-ml | The community-maintained foundation library for your OCaml projects |
| bibtex2html | dev-tex | A bibtex to HTML converter |
| bin-prot | dev-ml | A binary protocol generator |
| camlp5 | dev-ml | A preprocessor-pretty-printer of ocaml |
| camlzip | dev-ml | Compressed file access ML library (ZIP, GZIP and JAR) |
| camomile | dev-ml | Camomile is a comprehensive Unicode library for ocaml. |
| coccinelle | dev-util | Program matching and transformation engine |
| confluence | dev-lang | a functional programming language for reactive system design (digital logic, hard-real-time software) |
| coq | sci-mathematics | Coq is a proof assistant written in O'Caml |
| core | dev-ml | Jane Street's alternative to the standard library |
| core_extended | dev-ml | Jane Street's extended library |
| cryptokit | dev-ml | Cryptographic primitives library for Objective Caml |
| extlib | dev-ml | Standard library extensions for O'Caml |
| facile | dev-ml | A constraint programming library on integer and integer set finite domains written in OCaml. |
| fieldslib | dev-ml | Folding over record fields |
| findlib | dev-ml | OCaml tool to find/use non-standard packages. |
| flashdot | sci-misc | Generator for psychophysical experiments |
| gd4o | dev-ml | OCaml interface to the GD graphics library |