Maintainer:
Category:
Variant:
File installed:
Port version:
67 port(s) found
67 port(s) found
Page 4 of 4 | Showing port(s) 61 to 67
veryfasttree
Efficient phylogenetic tree inference for massive taxonomic datasets
Version: 4.0.4 | Maintained by: cesarpomar | Categories: science | Variants: debug, native, universalviskores
A visualization library for many-threaded devices
Version: 1.1.0 | Maintained by: reneeotten | Categories: devel graphics science | Variants: debug, native, openmp, tbb, hdf5, universalvtk-m
VTK-m is a toolkit of scientific visualization algorithms for emerging processor architectures
Version: 2.3.0 | Maintained by: reneeotten | Categories: devel graphics science | Variants: debug, native, openmp, tbb, universalvtk-m-17
VTK-m is a toolkit of scientific visualization algorithms for emerging processor architectures
Version: 1.7.1 | Maintained by: reneeotten | Categories: devel graphics science | Variants: debug, native, openmp, tbb, universalz3
Z3 Theorem Prover
Version: 4.15.4 | Maintained by: landonf | Categories: science math | Variants: polly_vector, polly_parallel, universal, debug, lto, gmp, native, profile, threads, polly, polly_late, polly_two_level_tilingz3-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, universal67 port(s) found
Page 4 of 4 | Showing port(s) 61 to 67