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 |
|---|---|---|
| ppx_module_timer | dev-ml | Ppx rewriter that records top-level module startup times |
| ppx_optcomp | dev-ml | Optional compilation for OCaml |
| ppx_optional | dev-ml | Pattern matching on flat options |
| ppx_pipebang | dev-ml | A ppx rewriter that inlines reverse application operators |> and |! |
| ppx_sexp_conv | dev-ml | Support Library for type-driven code generators |
| ppx_sexp_message | dev-ml | A ppx rewriter for easy construction of s-expressions |
| ppx_sexp_value | dev-ml | Standard library for ppx rewriters |
| ppx_stable | dev-ml | Stable types conversions generator |
| ppx_stable_witness | dev-ml | Ppx extension for deriving a witness that a type is intended to be stable |
| ppx_string | dev-ml | Ppx extension for string interpolation |
| ppx_tools | dev-ml | Tools for authors of ppx rewriters |
| ppx_tydi | dev-ml | Let expressions, inferring pattern type from expression |
| ppx_typerep_conv | dev-ml | Generation of runtime types from type declarations |
| ppx_variants_conv | dev-ml | Generation of accessor and iteration functions for ocaml variant types |
| protocol_version_header | dev-ml | Protocol aware version negotiation for OCaml |
| proverif | sci-mathematics | Cryptographic protocol verifier in the formal model |
| psmt2-frontend | sci-mathematics | Library to parse and type-check an extension of the SMT-LIB 2 standard |
| ptime | dev-ml | POSIX time for OCaml |
| ptmap | dev-ml | Maps of integers implemented as Patricia trees |
| qcheck | dev-ml | QuickCheck inspired property-based testing for OCaml |