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


Reset all filters
16 port(s) found

flusspferd

provides Javascript bindings for C++.

Version: 0.8 | Maintained by: | Categories: devel | Variants: debug, test, readline, sqlite, gmp

fricas

The Fricas computer algebra system

Version: 1.3.11 | Maintained by: pietvo | Categories: math | Variants: x11, hunchentoot, sbcl, ccl, ecl, gmp

ruby-devel

Powerful and clean object-oriented scripting language

Version: 2024.11.16 | Maintained by: barracuda156, kimuraw | Categories: lang ruby | Variants: doc, gmp, jemalloc, yjit, relative

ruby21

Powerful and clean object-oriented scripting language

Version: 2.1.9 | Maintained by: kimuraw | Categories: lang ruby | Variants: doc, mactk, gmp, universal, relative

ruby22

Powerful and clean object-oriented scripting language

Version: 2.2.10 | Maintained by: kimuraw | Categories: lang ruby | Variants: doc, mactk, gmp, jemalloc, universal, relative

ruby23

Powerful and clean object-oriented scripting language

Version: 2.3.8 | Maintained by: kimuraw | Categories: lang ruby | Variants: doc, mactk, gmp, jemalloc, universal, relative

ruby24

Powerful and clean object-oriented scripting language

Version: 2.4.10 | Maintained by: kimuraw | Categories: lang ruby | Variants: doc, gmp, jemalloc, universal, relative

ruby25

Powerful and clean object-oriented scripting language

Version: 2.5.9 | Maintained by: kimuraw | Categories: lang ruby | Variants: doc, gmp, jemalloc, universal, relative

ruby26

Powerful and clean object-oriented scripting language

Version: 2.6.10 | Maintained by: kimuraw, fhgwright | Categories: lang ruby | Variants: doc, gmp, jemalloc, universal, relative

ruby27

Powerful and clean object-oriented scripting language

Version: 2.7.8 | Maintained by: kimuraw, fhgwright | Categories: lang ruby | Variants: doc, gmp, jemalloc, universal, relative

ruby30

Powerful and clean object-oriented scripting language

Version: 3.0.7 | Maintained by: kimuraw, fhgwright | Categories: lang ruby | Variants: doc, gmp, jemalloc, universal, relative

ruby31

Powerful and clean object-oriented scripting language

Version: 3.1.4 | Maintained by: kimuraw | Categories: lang ruby | Variants: doc, gmp, jemalloc, relative

ruby32

Powerful and clean object-oriented scripting language

Version: 3.2.6 | Maintained by: kimuraw, fhgwright | Categories: lang ruby | Variants: doc, gmp, jemalloc, yjit, relative

ruby33

Powerful and clean object-oriented scripting language

Version: 3.3.6 | Maintained by: kimuraw, fhgwright | Categories: lang ruby | Variants: doc, gmp, jemalloc, yjit, relative

z3

Z3 Theorem Prover

Version: 4.13.4 | 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_parallel, polly_two_level_tiling, polly_vector, pgo, universal
16 port(s) found


Quick Links:
MacPorts
Port Information was updated:
4 minutes ago
d98cc8a7

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

Latest stats submission was received:
8 minutes ago