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
viskores
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: 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, universalzlib-ng
zlib replacement with optimizations for "next generation" systems.
Version: 2.3.2 | Maintained by: herbygillot | Categories: archivers | Variants: debug, native, universal67 port(s) found
Page 4 of 4 | Showing port(s) 61 to 67