ocamlopt
Enable ocamlopt support (ocaml native code compiler) -- Produces faster programs (Warning: you have to disable/enable it at a global scale)
| Название | Категория | Описание |
|---|---|---|
| calendars | dev-ml | Convert dates between gregorian/julian/french/hebrew calendars |
| camlbz2 | dev-ml | OCaml bindings for libbz (AKA, bzip2) |
| camlp4 | dev-ml | System for writing extensible parsers for programming languages |
| camlp5 | dev-ml | A preprocessor-pretty-printer of ocaml |
| camlpdf | dev-ml | OCaml library for reading, writing, and modifying PDF files |
| camlp-streams | dev-ml | Stream and Genlex libraries for use with Camlp4 and Camlp5 |
| camlzip | dev-ml | Compressed file access ML library (ZIP, GZIP and JAR) |
| camomile | dev-ml | Camomile is a comprehensive Unicode library for ocaml |
| charinfo_width | dev-ml | Determine column width for a character |
| cinaps | dev-ml | Trivial metaprogramming tool |
| cmdliner | dev-ml | Declarative definition of command line interfaces for OCaml |
| coccinelle | dev-util | Program matching and transformation engine |
| coq | sci-mathematics | Proof assistant written in O'Caml |
| coq-menhirlib | dev-ml | A support library for verified Coq parsers produced by Menhir |
| coq-serapi | sci-mathematics | Serialization library and protocol for interaction with the Coq proof assistant |
| core | dev-ml | Jane Street's alternative to the standard library |
| core_bench | dev-ml | Micro-benchmarking library for OCaml |
| core_kernel | dev-ml | System-independent part of Core |
| core_unix | dev-ml | Unix-specific portions of Core |
| cpdf | app-text | A command line tool for manipulating PDF files |
« Предыдущий 1 2 3 4 ... 13 Следующий »