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


Reset all filters
78 port(s) found

Page 4 of 4 | Showing port(s) 61 to 78

ocaml-topkg

The transitory OCaml software packager

Version: 1.0.7 | Maintained by: landonf | Categories: devel ocaml | Variants:

ocaml-ulex

lexer generator for Unicode and OCaml

Version: 1.2 | Maintained by: landonf | Categories: devel textproc ocaml | Variants:

ocaml-visitors

An OCaml syntax extension for generating visitor classes

Version: 20210608 | Maintained by: landonf | Categories: devel ocaml | Variants:

ocaml-wasm

OCaml Web Assembly library

Version: 2.0.0 | Maintained by: landonf | Categories: devel ocaml | Variants:

ocaml-xdg

Composable build system for OCaml

Version: 3.16.0 | Maintained by: landonf | Categories: devel ocaml | Variants:

ocaml-yojson

JSON parsing and printing library for OCaml

Version: 2.2.2 | Maintained by: landonf | Categories: devel ocaml | Variants:

ocaml-zarith

Arbitrary-precision integers for OCaml

Version: 1.14 | Maintained by: landonf | Categories: devel ocaml | Variants:

py-z3

Python bindings for the Z3 theorem prover

Version: 4.13.3 | Maintained by: landonf | Categories: python | Variants: debug

py310-z3

Python 3.10 bindings for the Z3 theorem prover

Version: 4.13.3 | Maintained by: landonf | Categories: python | Variants: debug

py311-z3

Python 3.11 bindings for the Z3 theorem prover

Version: 4.13.3 | Maintained by: landonf | Categories: python | Variants: debug

py312-z3

Python 3.12 bindings for the Z3 theorem prover

Version: 4.13.3 | Maintained by: landonf | Categories: python | Variants: debug

py38-z3

Python 3.8 bindings for the Z3 theorem prover

Version: 4.13.3 | Maintained by: landonf | Categories: python | Variants: debug

py39-z3

Python 3.9 bindings for the Z3 theorem prover

Version: 4.13.3 | Maintained by: landonf | Categories: python | Variants: debug

vampire

Vampire Theorem Prover

Version: 4.9 | Maintained by: landonf | Categories: science math | Variants: polly, profile, z3, universal, debug, native

xcbeautify

A beautifier tool for xcodebuild, SPM, and bazel output.

Version: 1.6.0 | Maintained by: landonf | Categories: devel | Variants:

z3

Z3 Theorem Prover

Version: 4.13.3 | Maintained by: landonf | Categories: science math | Variants: debug, lto, gmp, native, profile, threads, polly, polly_late, polly_two_level_tiling, polly_vector, polly_parallel, universal

z3-fstar

F*-qualified release of the Z3 Theorem Prover

Version: 4.8.5 | Maintained by: landonf | Categories: science math | Variants: debug, lto, gmp, native, profile, polly, polly_late, polly_two_level_tiling, polly_vector, polly_parallel, pgo, universal

z3-java

Java bindings for the Z3 theorem prover

Version: 4.13.3 | Maintained by: landonf | Categories: science java math | Variants: debug, universal
78 port(s) found

Page 4 of 4 | Showing port(s) 61 to 78



Quick Links:
MacPorts
Port Information was updated:
7 seconds ago
5a5a25e1

Most recent build (in app's database) ran:
3 hours ago

Latest stats submission was received:
52 seconds ago