Maintainer:
Category:
Variant:
File installed:
Port version:
47 port(s) found
47 port(s) found
Page 3 of 3 | Showing port(s) 41 to 47
sbcl
The Steel Bank Common Lisp system
Version: 2.4.4 | Maintained by: easye, catap | Categories: lang | Variants: bootstrap_ecl, simd, html, pdf, threads, fancysbcl-devel
The Steel Bank Common Lisp system
Version: 20240106 | Maintained by: easye, catap | Categories: lang | Variants: bootstrap_ecl, simd, html, pdf, threads, fancytcl
Tool Command Language
Version: 8.6.14 | Maintained by: MarcusCalhoun-Lopez, chrstphrchvz | Categories: lang | Variants: threads, corefoundation, memdebug, dtrace, universalwannier90
A Tool for Obtaining Maximally-Localised Wannier Functions
Version: 3.1.0 | Maintained by: dstrubbe | Categories: science | Variants: accelerate, atlas, openblas, g95, gcc10, gcc11, gcc12, gcc13, gccdevel, mpich, openmpi, threads, universalyap
YAP Prolog compiler
Version: 6.0.5 | Maintained by: | Categories: lang | Variants: condor, debug, java, tabling, threads, universalyap-devel
YAP Prolog compiler
Version: 6.0.7 | Maintained by: | Categories: lang | Variants: condor, debug, java, tabling, threads, universalz3
Z3 Theorem Prover
Version: 4.13.0 | Maintained by: landonf | Categories: science math | Variants: debug, lto, gmp, native, profile, threads, polly, polly_late, polly_two_level_tiling, polly_vector, polly_parallel, universal47 port(s) found
Page 3 of 3 | Showing port(s) 41 to 47