Maintainer:
Suggested:
Category:
Suggested:
Variant:
Suggested:
File installed:
Port version:


Reset all filters
220 port(s) found

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: graph

camlp5

Camlp5 is a preprocessor-pretty-printer of OCaml.

Version: 8.03.01 | 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, universal

lablgl

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, quartz

libCUDF

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.1 | 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