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


Reset all filters
20 port(s) found

calc

Arbitrary precision calculator

Version: 2.14.1.0 | Maintained by: pmetzger | Categories: math | Variants: universal

camlp5

Camlp5 is a preprocessor-pretty-printer of OCaml.

Version: 7.14 | 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, coqide

gumbo-parser

A pure C HTML5 parser

Version: 0.10.1 | Maintained by: pmetzger | Categories: devel www | Variants: universal

hevea

HEVEA is a quite complete and fast LATEX to HTML translator.

Version: 2.32 | 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.11 | Maintained by: pmetzger | Categories: ocaml x11 | Variants: gl, rsvg, gtksourceview, gtksourceview2, x11, quartz

ocaml

Compiler and libraries for the OCaml programming language

Version: 4.12.1 | Maintained by: pmetzger | Categories: lang ocaml | Variants:

ocaml-camlp4

Caml Preprocessor and Pretty-Printer

Version: 4.12-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.1 | Maintained by: pmetzger | Categories: devel ocaml | Variants: toolbox

ocaml-num

Legacy OCaml arbitrary-precision integer library

Version: 1.4 | Maintained by: pmetzger | Categories: devel ocaml | Variants:

ocaml-ocamlbuild

Caml Preprocessor and Pretty-Printer

Version: 0.14.1 | Maintained by: pmetzger | Categories: devel ocaml | Variants:

opam

OPAM is a package manager for OCaml

Version: 2.1.3 | Maintained by: pmetzger | Categories: sysutils ocaml | Variants: universal

py-pyside2

Python bindings for the Qt cross-platform application and UI framework

Version: 5.15.3 | 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.3 | Maintained by: pmetzger, MarcusCalhoun-Lopez | Categories: aqua devel python | Variants:

py36-pyside2

Python bindings for the Qt cross-platform application and UI framework

Version: 5.15.3 | Maintained by: pmetzger, MarcusCalhoun-Lopez | Categories: aqua devel python | Variants:

py37-pyside2

Python bindings for the Qt cross-platform application and UI framework

Version: 5.15.3 | Maintained by: pmetzger, MarcusCalhoun-Lopez | Categories: aqua devel python | Variants:

py38-pyside2

Python bindings for the Qt cross-platform application and UI framework

Version: 5.15.3 | 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.3 | Maintained by: pmetzger, MarcusCalhoun-Lopez | Categories: aqua devel python | Variants:

20 port(s) found