Page 1 of 11 | Showing port(s) 1 to 20
abella
Interactive theorem prover
Version: 2.0.8.3 | Maintained by: barracuda156 | Categories: math ocaml | Variants:camlimages
Objective Caml interface to image manipulation functions.
Version: 5.0.1 | Maintained by: | Categories: devel graphics ocaml | Variants: graphcamlp5
Camlp5 is a preprocessor-pretty-printer of OCaml.
Version: 8.03.00 | Maintained by: pmetzger | Categories: lang ocaml | Variants:coccinelle
coccinelle is a semantic diff.
Version: 1.1.1 | Maintained by: | Categories: devel textproc ocaml | Variants: python310, pcre, universallablgl
Objective Caml interface to OpenGL
Version: 1.06 | Maintained by: pmetzger | Categories: graphics ocaml | Variants:lablgtk2
OCaml interface to gtk+ 2.x
Version: 2.18.13 | Maintained by: pmetzger | Categories: ocaml x11 | Variants: gl, rsvg, gtksourceview, gtksourceview2, x11, quartzlibCUDF
libCUDF is a library to manipulate so called CUDF documents.
Version: 0.7 | Maintained by: neverpanic | Categories: devel ocaml | Variants:moca
general construction functions generator for OCaml data types with invariants
Version: 0.7.0 | Maintained by: | Categories: devel lang ocaml | Variants:ocaml
Compiler and libraries for the OCaml programming language
Version: 4.14.1 | Maintained by: pmetzger | Categories: lang ocaml | Variants:ocaml-alcotest
Lightweight and colorful test framework
Version: 1.7.0 | Maintained by: | Categories: devel ocaml | Variants:ocaml-angstrom
Parser combinators built for speed and memory-efficiency
Version: 0.16.0 | Maintained by: pguyot | Categories: devel ocaml | Variants:ocaml-astring
Alternative String module for OCaml
Version: 0.8.5 | Maintained by: pguyot | Categories: devel ocaml | Variants:ocaml-async
Jane Street Capitalʼs asynchronous execution library
Version: 0.16.0 | Maintained by: barracuda156 | Categories: devel ocaml | Variants:ocaml-async_kernel
Jane Street Capitalʼs asynchronous execution library (core)
Version: 0.16.0 | Maintained by: barracuda156 | Categories: devel ocaml | Variants:ocaml-async_rpc_kernel
Platform-independent core of Async RPC library
Version: 0.16.0 | Maintained by: barracuda156 | Categories: devel ocaml | Variants:ocaml-async_unix
Jane Street Capitalʼs asynchronous execution library (unix)
Version: 0.16.0 | Maintained by: barracuda156 | Categories: devel ocaml | Variants:ocaml-base
Jane Street's Full standard library replacement for OCaml
Version: 0.16.3 | Maintained by: landonf | Categories: devel ocaml | Variants:ocaml-base64
Base64 encoding for OCaml
Version: 3.5.1 | Maintained by: barracuda156 | Categories: devel ocaml | Variants:ocaml-base_bigstring
String type based on Bigarray, for use in I/O and C-bindings
Version: 0.16.0 | Maintained by: barracuda156 | Categories: devel ocaml | Variants:ocaml-base_quickcheck
Randomized testing framework
Version: 0.16.0 | Maintained by: barracuda156 | Categories: devel ocaml | Variants:220 port(s) found
Page 1 of 11 | Showing port(s) 1 to 20