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 Следующий »

Спасибо!