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