calc
Arbitrary precision calculator
Version: 2.15.1.0 | Maintained by: pmetzger | Categories: math | Variants: universalcamlp5
Camlp5 is a preprocessor-pretty-printer of OCaml.
Version: 8.03.01 | Maintained by: pmetzger | Categories: lang ocaml | Variants:coq
Proof assistant for higher-order logic
Version: 8.13.2 | Maintained by: pmetzger | Categories: lang math | Variants: doc, coqidehevea
HEVEA is a quite complete and fast LATEX to HTML translator.
Version: 2.36 | Maintained by: pmetzger | Categories: textproc www tex | Variants: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, quartzocaml
Compiler and libraries for the OCaml programming language
Version: 4.14.1 | Maintained by: pmetzger | Categories: lang ocaml | Variants:ocaml-camlp4
Caml Preprocessor and Pretty-Printer
Version: 4.14-1 | Maintained by: pmetzger | Categories: devel lang ocaml | Variants:ocaml-extlib
Extended Standard Library for OCaml
Version: 1.7.6 | Maintained by: pmetzger | Categories: devel ocaml | Variants:ocaml-findlib
Objective Caml library management system
Version: 1.9.6 | Maintained by: pmetzger | Categories: devel ocaml | Variants: toolboxocaml-num
Legacy OCaml arbitrary-precision integer library
Version: 1.5 | Maintained by: pmetzger | Categories: devel ocaml | Variants:ocaml-ocamlbuild
Caml Preprocessor and Pretty-Printer
Version: 0.14.2 | Maintained by: pmetzger | Categories: devel ocaml | Variants:opam
OPAM is a package manager for OCaml
Version: 2.2.0 | Maintained by: pmetzger | Categories: sysutils ocaml | Variants: universalpy-pyside2
Python bindings for the Qt cross-platform application and UI framework
Version: 5.15.15 | Maintained by: pmetzger, MarcusCalhoun-Lopez | Categories: aqua devel python | Variants:py310-pyside2
Python bindings for the Qt cross-platform application and UI framework
Version: 5.15.15 | Maintained by: pmetzger, MarcusCalhoun-Lopez | Categories: aqua devel python | Variants:py311-pyside2
Python bindings for the Qt cross-platform application and UI framework
Version: 5.15.15 | Maintained by: pmetzger, MarcusCalhoun-Lopez | Categories: aqua devel python | Variants:py39-pyside2
Python bindings for the Qt cross-platform application and UI framework
Version: 5.15.15 | Maintained by: pmetzger, MarcusCalhoun-Lopez | Categories: aqua devel python | Variants:17 port(s) found