Maintainer:
Category:
Variant:
File installed:
Port version:
68 port(s) found
68 port(s) found
Page 4 of 4 | Showing port(s) 61 to 68
ugrep
ultra fast grep with interactive query UI and fuzzy search
Version: 7.3.0 | Maintained by: reneeotten | Categories: sysutils textproc | Variants: native, universalvampire
Vampire Theorem Prover
Version: 4.9 | Maintained by: landonf | Categories: science math | Variants: polly, profile, z3, universal, debug, nativeveryfasttree
Efficient phylogenetic tree inference for massive taxonomic datasets
Version: 4.0.4 | Maintained by: cesarpomar | Categories: science | Variants: debug, native, universalvtk-m
VTK-m is a toolkit of scientific visualization algorithms for emerging processor architectures
Version: 2.2.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.13.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, universal68 port(s) found
Page 4 of 4 | Showing port(s) 61 to 68