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
octopus
A real-space (time-dependent) density-functional theory code.
Version: 12.1 | Maintained by: dstrubbe | Categories: science | Variants: accelerate, atlas, blis, flexiblas, openblas, gcc10, gcc11, gcc12, gcc13, gcc14, gcc15, gccdevel, mpich, openmpi, threads, netcdf, etsf_io, sparskit, gdlib, scalapack, arpack, parpack, parmetis, berkeleygw, everything_serial, everything, maxdim4sbcl
The Steel Bank Common Lisp system
Version: 2.6.6 | Maintained by: easye | Categories: lang | Variants: bootstrap_ecl, simd, html, pdf, threads, fancysbcl-devel
The Steel Bank Common Lisp system
Version: 20240924 | Maintained by: easye | Categories: lang | Variants: bootstrap_ecl, simd, html, pdf, threads, fancytcl8
Tool Command Language
Version: 8.6.18 | 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, blis, flexiblas, openblas, g95, gcc10, gcc11, gcc12, gcc13, gcc14, gcc15, gccdevel, mpich, openmpi, threads, universalz3
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, universal47 port(s) found
Page 3 of 3 | Showing port(s) 41 to 47