The MacPorts Project

Skip to Content


MacPorts Portfiles

The MacPorts Project currently distributes 23480 ports, organized across 89 different categories and available below for viewing. This form allows you to search the MacPorts software index, last updated on 2019-11-22 at 18:27:43 UTC.


Or view the complete ports list (23480 ports).


Query Results

10 Portfiles Selected

flusspferd 0.8 (source)
provides Javascript bindings for C++.
Licenses: unknown
Maintained by:
Categories: devel
Platforms: darwin
Dependencies: cmake boost spidermonkey
Variants: gmp readline sqlite test

fricas 1.3.5 (source)
The Fricas computer algebra system
Licenses: BSD
Maintained by:
Categories: math
Platforms: darwin
Dependencies: sbcl xorg-libice xorg-libsm xorg-libX11 xpm
Variants: ccl ecl gmp sbcl x11

ruby21 2.1.9 (source)
Powerful and clean object-oriented scripting language
Licenses: Ruby BSD
Maintained by:
Categories: lang ruby
Platforms: darwin
Dependencies: gdbm libffi libyaml openssl10 pkgconfig readline ruby_select zlib
Variants: doc gmp mactk relative universal

ruby22 2.2.10 (source)
Powerful and clean object-oriented scripting language
Licenses: Ruby BSD
Maintained by:
Categories: lang ruby
Platforms: darwin
Dependencies: gdbm libffi libyaml openssl10 pkgconfig readline ruby_select zlib
Variants: doc gmp jemalloc mactk relative universal

ruby23 2.3.8 (source)
Powerful and clean object-oriented scripting language
Licenses: Ruby BSD
Maintained by:
Categories: lang ruby
Platforms: darwin
Dependencies: gdbm libffi libyaml openssl10 pkgconfig readline ruby_select zlib
Variants: doc gmp jemalloc mactk relative universal

ruby24 2.4.9 (source)
Powerful and clean object-oriented scripting language
Licenses: Ruby BSD
Maintained by:
Categories: lang ruby
Platforms: darwin
Dependencies: openssl gdbm libffi libyaml pkgconfig readline ruby_select zlib
Variants: doc gmp jemalloc relative universal

ruby25 2.5.7 (source)
Powerful and clean object-oriented scripting language
Licenses: Ruby BSD
Maintained by:
Categories: lang ruby
Platforms: darwin
Dependencies: openssl gdbm libffi libyaml pkgconfig readline ruby_select zlib
Variants: doc gmp jemalloc relative universal

ruby26 2.6.5 (source)
Powerful and clean object-oriented scripting language
Licenses: Ruby BSD
Maintained by:
Categories: lang ruby
Platforms: darwin
Dependencies: openssl gdbm libffi libyaml pkgconfig readline ruby_select zlib
Variants: doc gmp jemalloc relative universal

z3 4.8.6 (source)
Z3 Theorem Prover
Licenses: MIT
Maintained by:
Categories: math science
Platforms: darwin freebsd
Dependencies: cmake bash clang-8.0 gmp ninja python27
Variants: debug gmp lto native polly polly_late polly_parallel polly_two_level_tiling polly_vector threads universal

z3-fstar 4.8.5 (source)
F*-qualified release of the Z3 Theorem Prover
Licenses: MIT
Maintained by:
Categories: math science
Platforms: darwin freebsd
Dependencies: cmake bash clang-8.0 gmp ninja python27
Variants: debug gmp lto native polly polly_late polly_parallel polly_two_level_tiling polly_vector universal