Maintainer:
Category:
Variant:
File installed:
Port version:
26 port(s) found
26 port(s) found
Page 2 of 2 | Showing port(s) 21 to 26
python315-devel
An interpreted, object-oriented programming language
Version: 3.15.0a3 | Maintained by: jmroot | Categories: lang | Variants: universal, optimizations, lto, tail_call_interp, experimental_jit, dtracepython315-freethreading-devel
An interpreted, object-oriented programming language (free threading)
Version: 3.15.0a3 | Maintained by: jmroot | Categories: lang | Variants: universal, optimizations, lto, tail_call_interp, dtracepython39
An interpreted, object-oriented programming language
Version: 3.9.25 | Maintained by: jmroot | Categories: lang | Variants: universal, optimizations, lto, dtracez3
Z3 Theorem Prover
Version: 4.15.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, universalz3-fstar
F*-qualified release of the Z3 Theorem Prover
Version: 4.13.3 | Maintained by: landonf | Categories: science math | Variants: debug, pgo, lto, gmp, native, profile, threads, polly, polly_late, polly_two_level_tiling, polly_vector, polly_parallel, universalz3-fstar-legacy
Legacy F*-qualified release of the Z3 Theorem Prover
Version: 4.8.5 | Maintained by: landonf | Categories: science math | Variants: debug, pgo, lto, gmp, native, profile, polly, polly_late, polly_two_level_tiling, polly_vector, polly_parallel, universal26 port(s) found
Page 2 of 2 | Showing port(s) 21 to 26