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


Reset all filters
13 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.6 | Maintained by: pietvo | Categories: math | Variants: x11, sbcl, ccl, ecl, gmp

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 | Categories: lang ruby | Variants: doc, gmp, jemalloc, universal, relative

ruby27

Powerful and clean object-oriented scripting language

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

ruby30

Powerful and clean object-oriented scripting language

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

ruby31

Powerful and clean object-oriented scripting language

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

z3

Z3 Theorem Prover

Version: 4.8.15 | 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

13 port(s) found