Maintainer:
Suggested:
Category:
Suggested:
Variant:
Suggested:
File installed:
Port version:


Reset all filters
64 port(s) found

Page 4 of 4 | Showing port(s) 61 to 64


veryfasttree

Efficient phylogenetic tree inference for massive taxonomic datasets

Version: 4.0.3 | Maintained by: cesarpomar | Categories: science | Variants: debug, native, universal

vtk-m

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, universal

z3

Z3 Theorem Prover

Version: 4.12.6 | Maintained by: landonf | Categories: science math | Variants: debug, lto, gmp, native, profile, threads, polly, polly_late, polly_two_level_tiling, polly_vector, polly_parallel, universal

z3-fstar

F*-qualified release of the Z3 Theorem Prover

Version: 4.8.5 | Maintained by: landonf | Categories: science math | Variants: debug, lto, gmp, native, profile, polly, polly_late, polly_two_level_tiling, polly_vector, polly_parallel, pgo, universal

64 port(s) found

Page 4 of 4 | Showing port(s) 61 to 64