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

7 port(s) found

gambit-c

Gambit-C is a fast Scheme implementation.

Version: 4.9.3 | Maintained by: | Categories: lang | Variants: optimized, profile, universal

kyotocabinet

Kyoto Cabinet is a library of routines for managing a database.

Version: 1.2.78 | Maintained by: | Categories: databases | Variants: debug, devel, profile, lzo, lzma

kyototycoon

Kyoto Tycoon is a lightweight database server.

Version: 0.9.56 | Maintained by: | Categories: databases | Variants: debug, devel, profile, lua

tokyocabinet

Tokyo Cabinet is a library of routines for managing a database.

Version: 1.4.48 | Maintained by: | Categories: databases | Variants: debug, devel, profile, fastest, off64, swap, universal

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

7 port(s) found