Search ports | MacPorts

Maintainer:

No maintainer

Suggested:

Category:

Suggested:

Variant:

Suggested:

File installed:

Port version:

Up to date
Outdated
Broken check

Show deleted ports also

11 port(s) found

llvm-10

llvm is a next generation compiler infrastructure

Version: 10.0.1 | Maintained by: jeremyhu | Categories: lang | Variants: debug, assertions, emulated_tls, polly, ocaml

llvm-11

llvm is a next generation compiler infrastructure

Version: 11.1.0 | Maintained by: jeremyhu | Categories: lang | Variants: debug, assertions, emulated_tls, polly, ocaml, universal

llvm-3.7

llvm is a next generation compiler infrastructure

Version: 3.7.1 | Maintained by: jeremyhu, larryv | Categories: lang | Variants: assertions, polly, ocaml

llvm-5.0

llvm is a next generation compiler infrastructure

Version: 5.0.2 | Maintained by: jeremyhu | Categories: lang | Variants: debug, assertions, polly, ocaml, universal

llvm-6.0

llvm is a next generation compiler infrastructure

Version: 6.0.1 | Maintained by: jeremyhu | Categories: lang | Variants: debug, assertions, polly, ocaml

llvm-7.0

llvm is a next generation compiler infrastructure

Version: 7.1.0 | Maintained by: jeremyhu | Categories: lang | Variants: debug, assertions, emulated_tls, polly, ocaml

llvm-8.0

llvm is a next generation compiler infrastructure

Version: 8.0.1 | Maintained by: jeremyhu | Categories: lang | Variants: debug, assertions, emulated_tls, polly, ocaml

llvm-9.0

llvm is a next generation compiler infrastructure

Version: 9.0.1 | Maintained by: jeremyhu | Categories: lang | Variants: debug, assertions, emulated_tls, polly, ocaml

vampire

Vampire Theorem Prover

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

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

11 port(s) found