List of Software in SBEnv environment
Software available on the CCEnv software stack on Grex.#
Grex receives the ComputeCanada/Alliance software environment via CVMFS. Full autogenerated list of software is available at the Available Software page on the Allince Documentation Wiki.
Note that Grex does not install local, commercial software licensed only to the National/Alliance systems. The software listed under “List of globally-installed modules” is available.
Software available on the SBEnv software stack on Grex.#
Below is the auto-generated list of software modules available on Grex’s local SBEnv software stack.
Note that many items on this list, most notably for commercial software, are available only to the licensed software owners/research groups of that software! Please use module spider , module help and module load commands to check if a particular software module can be loaded by your group.
The list is updated periodically. The most authoritative method to check for available software is still module spider as described on the Using Modules page.
| Software | Versions | Description/Homepage | Module dependencies |
|---|---|---|---|
| CCEnv | Expand CCEnv description Description: Compute Canada software modules. Must be loaded to see Compute Canada modules in ‘module spider’ | ||
| SBEnv | Expand SBEnv description Alma8 software environment for Grex usin Niagara SB | ||
| adf | 2019.305-impi, 2021.106-impi, 2021.107-impi, 2023.104-impi, 2024.105-impi, 2024.105-impi-aocl | Expand adf description AMS, Amsterdam Density Functional suite of codes Georg Schrecnekbach group at UManitoba, IntelMPI version | |
| admixture | 1.3.0 | Expand admixture description ADMIXTURE: Fast ancestry estimation | |
| amber | 24 | Expand amber description Description: Amber (originally Assisted Model Building with Energy Refinement) is software for performing molecular dynamics and structure prediction | (arch/avx512 gcc/13.2.0 openmpi/4.1.6) |
| ansys | 2023R2, 21.1 | Expand ansys description ANSYS suite of engineering simulation software | |
| ant | 1.10.15 | Expand ant description Description: Apache Ant is a Java library and command-line tool whose mission is to drive processes described in build files as targets and extension points dependent upon each other. The main known usage of Ant is the build of Java applications | |
| aocc | 4.2.0 | Expand aocc description Description: The AOCC compiler system is a high performance, production quality code generation tool | (arch/avx2), (arch/avx512) |
| aocl | 4.2.0, 4.2.0-64 | Expand aocl description Description: AMD Optimizing CPU Libraries (AOCL) are a set of numerical libraries optimized for AMD EPYC processor family | (arch/avx512 aocc/4.2.0), (arch/avx2 gcc/13.2.0), (arch/avx512 gcc/13.2.0), (cuda/12.4.1 arch/avx2 gcc/13.2.0) |
| arch | avx2, avx512 | Expand arch description Description: a module to pick the CPU architecture | (cuda/12.2.2), (cuda/11.8.0), (cuda/12.4.1) |
| armadillo | 11.4.3, 14.2.2 | Expand armadillo description ; Description: Armadillo is an open-source C++ linear algebra library (matrix maths) aiming towards a good balance between speed and ease of use. Integer, floating point and complex numbers are supported, as well as a subset of trigonometric and statistics functions | (arch/avx512 gcc/13.2.0) |
| arpack-ng | 3.9.1+mkl-2019.5 | Expand arpack-ng description Description: ARPACK is a collection of Fortran77 subroutines designed to solve large scale eigenvalue problems | (arch/avx512 gcc/13.2.0), (arch/avx512 gcc/13.2.0 openmpi/4.1.6) |
| arrow | 18.1.0 | Expand arrow description Description: Apache Arrow is a cross-language development platform for in-memory data | (arch/avx512 gcc/13.2.0) |
| asynch | 1.4.3, git-a5d1d77 | Expand asynch description Asynch is numerical library for solving differential equations with a tree structure | (arch/avx512 gcc/13.2.0 openmpi/5.0.6) |
| autodock | 4.2.6 | Expand autodock description Description: AutoDock is a suite of automated docking tools. It is designed to predict how small molecules, such as substrates or drug candidates, bind to a receptor of known 3D structure | (arch/avx512 intel/2023.2), (arch/avx512 gcc/13.2.0) |
| autodock-vina | 1.2.7 | Expand autodock-vina description Description: AutoDock Vina is an open-source program for doing molecular docking | (arch/avx512 gcc/13.2.0) |
| autotools | 2022a | Expand autotools description Description: GNU autoconf, automake, gettext, and libtool | (arch/avx512), (arch/avx2) |
| bamtools | 2.5.2 | Expand bamtools description Description: BamTools provides both a programmer’s API and an end-user’s toolkit for handling BAM files | |
| beagle | 5.4-20241029 | Expand beagle description Description: Beagle is a software package for phasing genotypes and for imputing ungenotyped markers | |
| bedtools | 2.31.1 | Expand bedtools description Description: a swiss-army knife of tools for a wide-range of genomics analysis tasks | (arch/avx512) |
| binutils | 2.42 | Expand binutils description | (arch/avx512) |
| birch | 3.90 | Expand birch description BIRCH is a powerful framework for organizing and using bioinformatics. ; BIRCH comes with hundreds of commonly-used tools, and allows you to customize your BIRCH site by adding new ones | |
| blastplus | 2.16.0 | Expand blastplus description Description: Basic Local Alignment Search Tool, or BLAST, is an algorithm for comparing primary biological sequence information, such as the amino-acid sequences of different proteins or the nucleotides of DNA sequences | (arch/avx512 gcc/13.2.0) |
| blat | 3.7 | Expand blat description Description: BLAT on DNA is designed to quickly find sequences of 95% and greater similarity of length 25 bases or more | (arch/avx512 gcc/13.2.0) |
| blis | 0.9.0 | Expand blis description Description: BLIS is a portable software framework for instantiating high-performance BLAS-like dense linear algebra libraries | (arch/avx2 gcc/13.2.0), (arch/avx512 gcc/13.2.0) |
| boost | 1.78.0, 1.85.0 | Expand boost description Description: Boost provides free peer-reviewed portable C++ source libraries, emphasizing libraries that work well with the C++ Standard Library | (arch/avx512 intel/2023.2), (arch/avx512 gcc/9.5.0), (arch/avx512 gcc/13.2.0) |
| bowtie2 | 2.5.4 | Expand bowtie2 description Description: Bowtie 2 is an ultrafast and memory-efficient tool for aligning sequencing reads to long reference sequences | (arch/avx512) |
| buildah | 1.39.3 | Expand buildah description Buildah is a tool that facilitates building Open Container Initiative (OCI) container images | |
| busco | 5.8.3 | Expand busco description Description: BUSCO provides Assessment of assembly completeness using Universal Single Copy Orthologs | |
| bwa | 0.7.18 | Expand bwa description Description: BWA - Burrows-Wheeler Aligner is an efficient program that aligns relatively short nucleotide sequences | (arch/avx512 gcc/13.2.0) |
| cdo | 2.5.0 | Expand cdo description Description: CDO is a collection of command line Operators to manipulate and analyse Climate and NWP model Data | (arch/avx512 gcc/13.2.0 openmpi/4.1.6) |
| cfitsio | 4.4.1, 4.5.0 | Expand cfitsio description Description: CFITSIO is a library of C and Fortran subroutines for reading and writing data files in FITS (Flexible Image Transport System) data format | |
| cgal | 5.5, 6.0.1 | Expand cgal description Description: The Computational Geometry Algorithms Library (CGAL) is a C++ library ; that aims to provide easy access to efficient and reliable algorithms in ; computational geometry | (arch/avx512 gcc/13.2.0) |
| cistem | 1.0.0 | Expand cistem description Description: cisTEM is user-friendly software to process cryo-EM images of macromolecular complexes and obtain high-resolution 3D reconstructions from them | (arch/avx512 gcc/13.2.0) |
| clhep | 2.4.7.1 | Expand clhep description Description: The CLHEP project is intended to be a set of HEP-specific foundation and utility classes such as random generators, physics vectors, geometry and linear algebra. CLHEP is structured in a set of packages independent of any external package | (arch/avx512 gcc/13.2.0) |
| cmake | 3.28.4, 3.31.1 | Expand cmake description Description: A cross-platform, open-source build system | |
| code-server | 4.99.1 | Expand code-server description Run VS Code on any machine anywhere and access it in the browser | |
| compleasm | 0.2.6 | Expand compleasm description Description: Compleasm: a faster and more accurate reimplementation of BUSCO, a genomics tool | |
| cp2k | 2024.3 | Expand cp2k description Description: CP2K is a freely available (GPL) program, written in Fortran 95, to perform atomistic and molecular simulations of solid state, liquid, molecular and biological systems. It provides a general framework for different methods such as e.g. density functional theory (DFT) using a mixed Gaussian and plane waves approach (GPW), and classical pair and many-body potentials | (arch/avx512 gcc/13.2.0 openmpi/4.1.6) |
| cppzmq | 4.10.0 | Expand cppzmq description Description: cppzmq is a C++ binding for libzmq | |
| crest | 2.12 | Expand crest description Description: CREST is an utility/driver program for the xtb program. Originally it was designed as conformer sampling program, hence the abbreviation Conformer-Rotamer Ensemble Sampling Tool, but now offers also some utility functions for calculations with the GFNn-xTB methods. Generally the program functions as an IO based OMP scheduler (i.e., calculations are performed by the xtb program) and tool for the creation and analysation of structure ensembles | (arch/avx512 intel/2023.2) |
| ctffind | 4.1.14 | Expand ctffind description CTFFIND4 is a fast and accurate defocus estimation from electron micrographs | (arch/avx512 intel-one/2024.1), (cuda/12.4.1 arch/avx2 gcc/13.2.0) |
| cuda | 11.8.0, 12.2.2, 12.4.1 | Expand cuda description Description: CUDA is a parallel computing platform and programming model invented by NVIDIA | (arch/avx2), (arch/avx512), |
| cudnn | 8.8.1.3+cuda-11.8.0 | Expand cudnn description Description: NVIDIA cuDNN is a GPU-accelerated library of primitives for deep neural networks | |
| deepvariant | 1.8.0, 1.8.0-gpu | Expand deepvariant description DeepVariant is a deep learning-based variant caller that takes aligned reads (in BAM or CRAM format), produces pileup image tensors from them, classifies each tensor using a convolutional neural network, and finally reports the results in a standard VCF or gVCF file | |
| dejagnu | 1.6.3 | Expand dejagnu description Description: DejaGnu is a framework for testing other programs | |
| diamond | 2.1.10 | Expand diamond description Description: Accelerated BLAST compatible local sequence aligner | |
| dlb | 3.5.0 | Expand dlb description Description: DLB is a dynamic library designed to speed up HPC hybrid applications by improving the load balance of the outer level of parallelism by dynamically redistributing the computational resources at the inner level of parallelism at run time | (arch/avx512 intel/2023.2 openmpi/4.1.6), (arch/avx512 gcc/13.2.0 openmpi/4.1.6) |
| eccodes | 2.31.0, 2.40.0 | Expand eccodes description Description: ecCodes is a package developed by ECMWF which provides an application programming interface and a set of tools for decoding and encoding messages in the following formats: WMO FM-92 GRIB edition 1 and edition 2, WMO FM-94 BUFR edition 3 and edition 4, WMO GTS abbreviated header (only decoding) | (arch/avx512 gcc/13.2.0), (arch/avx512 gcc/11.5.0) |
| eigen | 3.4.0 | Expand eigen description ; Description: Eigen is a C++ template library for linear algebra: matrices, vectors, numerical solvers, and related algorithms | (arch/avx512), (cuda/12.4.1 arch/avx2 gcc/13.2.0) |
| esmf | 8.7.0 | Expand esmf description Description: The Earth System Modeling Framework (ESMF) is software for building and coupling weather, climate, and related models | (arch/avx512 intel/2023.2 openmpi/4.1.6) |
| espresso | 7.3.1, 7.3.1+aocl-4.2.0 | Expand espresso description Description: Quantum ESPRESSO is an integrated suite of computer codes for electronic-structure calculations and materials modeling at the nanoscale. It is based on density-functional theory, plane waves, and pseudopotentials (both norm-conserving and ultrasoft ; Description: Quantum ESPRESSO is an integrated suite of computer codes for electronic-structure calculations and materials modeling at the nanoscale. It is based on density-functional theory, plane waves, and pseudopotentials (both norm-conserving and ultrasoft) | (arch/avx512 intel/2023.2 openmpi/4.1.6), (arch/avx512 gcc/13.2.0 openmpi/4.1.6) |
| expect | 5.45.4 | Expand expect description Description: Expect is a tool for automating interactive applications such as telnet, ftp, passwd, fsck, rlogin, tip, etc | |
| fastqc | 0.12.1 | Expand fastqc description Description: FastQC is a quality control application for high throughput sequence data. It reads in sequence data in a variety of formats and can either provide an interactive application to review the results of several different QC checks, or create an HTML based report which can be integrated into a pipeline | |
| feko | 2021.2 | Expand feko description Altair Feko high-frequency electromagnetic simulation software for Okhmatovsky group | |
| ffmpeg | 7.0.2 | Expand ffmpeg description A statically build binary for ffmpeg Linux | |
| fftw | 3.3.10 | Expand fftw description Description: FFTW is a C subroutine library for computing the discrete Fourier transform (DFT) | (arch/avx512 gcc/11.5.0), (arch/avx512 gcc/9.5.0 openmpi/4.1.6), (arch/avx512 intel-one/2024.1 openmpi/4.1.6), (arch/avx512 gcc/13.2.0), (arch/avx512 gcc/13.2.0 openmpi/4.1.6), (arch/avx512 intel-one/2024.1 openmpi/5.0.6), (cuda/12.4.1 arch/avx2 gcc/13.2.0 openmpi/5.0.6), (arch/avx512 aocc/4.2.0 openmpi/4.1.6), (arch/avx512 intel-one/2024.1), (arch/avx512 gcc/13.2.0 openmpi/5.0.6), (arch/avx512 intel/2023.2 openmpi/4.1.6), (arch/avx512 aocc/4.2.0), (arch/avx512 intel/2023.2), (cuda/12.4.1 arch/avx2 gcc/13.2.0) |
| flex | 2.6.4 | Expand flex description Description: Flex is a tool for generating scanners | |
| flexpart | 11 | Expand flexpart description Description: FLEXPART (FLEXible PARTicle dispersion model) is a Lagrangian transport and dispersion model suitable for the simulation of a large range of atmospheric transport processes | (arch/avx512 gcc/13.2.0) |
| freeglut | 3.4.0 | Expand freeglut description Description: freeglut is a free-software/open-source alternative to the OpenGL Utility Toolkit (GLUT) library | |
| gate | 9.4 | Expand gate description Description: GATE is an advanced opensource software developed by the international OpenGATE collaboration and dedicated to the numerical simulations in medical imaging. It currently supports simulations of Emission Tomography (Positron Emission Tomography - PET and Single Photon Emission Computed Tomography - SPECT), and Computed Tomography | (arch/avx512 gcc/13.2.0) |
| gatk | 4.6.1.0 | Expand gatk description Description: The Genome Analysis Toolkit or GATK is a software package developed at the Broad Institute to analyse next-generation resequencing data. The toolkit offers a wide variety of tools, with a primary focus on variant discovery and genotyping as well as strong emphasis on data quality assurance. Its robust architecture, powerful processing engine and high-performance computing features make it capable of taking on projects of any size | (arch/avx512 gcc/13.2.0) |
| gaussian | g16.b01, g16.c01 | Expand gaussian description Gaussian 16.c01 - A quantum chemistry package | |
| gcc | 11.5.0, 12.3.0, 13.2.0, 8.5.0, 9.5.0 | Expand gcc description Description: The GNU Compiler Collection for C, C++, and Fortran | (arch/avx512), (cuda/11.8.0 arch/avx2), (cuda/12.4.1 arch/avx2), (cuda/12.2.2 arch/avx2), (arch/avx2) |
| gdal | 3.10.0 | Expand gdal description Description: GDAL is a translator library for raster geospatial data formats that is released under an X/MIT style Open Source license by the Open Source Geospatial Foundation. As a library, it presents a single abstract data model to the calling application for all supported formats. It also comes with a variety of useful commandline utilities for data translation and processing | (arch/avx512 gcc/13.2.0) |
| geant4 | 11.2.2, 11.3.0 | Expand geant4 description Description: Geant4 is a toolkit for the simulation of the passage of particles through matter. Its areas of application include high energy, nuclear and accelerator physics, as well as studies in medical and space science | (arch/avx512 gcc/13.2.0) |
| geos | 3.13.0 | Expand geos description Description: GEOS (Geometry Engine - Open Source) is a C++ port of the Java Topology Suite (JTS) | (arch/avx512 gcc/13.2.0) |
| git | 2.49.0 | Expand git description Description: Git is a free and open source distributed version control system | |
| git-annex | 10.20250320 | Expand git-annex description Git-annex allows managing large files with git, without storing the file contents in git. ; It can sync, backup, and archive your data, offline and online. ; Checksums and encryption keep your data safe and secure | |
| git-lfs | 3.6.1 | Expand git-lfs description Git Large File Storage ; Git LFS is a command line extension and specification for managing large files with Git | |
| globus | 3.33.1 | Expand globus description Tools to interact with Globus using the command line interface: ; - Globus CLI (https://github.com/globus/globus-cli
) ; - Globus Connect Personal (https://www.globus.org/globus-connect-personal
) | |
| glost | 0.3.1 | Expand glost description Description: This is GLOST, the Greedy Launcher Of Small Tasks | (arch/avx512 gcc/13.2.0 openmpi/4.1.6), (arch/avx512 intel/2023.2 openmpi/4.1.6) |
| glpk | 5.0 | Expand glpk description Description: The GLPK (GNU Linear Programming Kit) package is intended for solving large-scale linear programming (LP), mixed integer programming (MIP), and other related problems. It is a set of routines written in ANSI C and organized in the form of a callable library | (arch/avx512 intel/2023.2), (arch/avx512 gcc/13.2.0), (arch/avx512 gcc/9.5.0) |
| gmp | 6.2.1, 6.3.0 | Expand gmp description Description: GMP is a free library for arbitrary precision arithmetic, operating on signed integers, rational numbers, and floating point numbers | (arch/avx512 gcc/13.2.0), (arch/avx512), (cuda/12.4.1 arch/avx2 gcc/13.2.0) |
| gnina | 1.1, 2024 | Expand gnina description gnina (pronounced NEE-na) is a molecular docking program with integrated support for scoring and optimizing ligands using convolutional neural networks | |
| gnuplot | 5.4.2, 6.0.2 | Expand gnuplot description Description: Gnuplot is a portable command-line driven graphing utility for Linux, OS/2, MS Windows, OSX, VMS, and many other platforms | |
| golang | 1.24.2 | Expand golang description Go is an opensource programming language supported by Google | |
| grace | 5.99.0 | Expand grace description Description: Grace is a WYSIWYG 2D plotting tool for X Windows System and Motif | (arch/avx512 gcc/13.2.0) |
| gromacs | 2021.6, 2022, 2023.3, 2024.1 | Expand gromacs description Description: GROMACS (GROningen MAchine for Chemical Simulations) is a molecular dynamics package primarily designed for simulations of proteins, lipids and nucleic acids | (arch/avx512 gcc/11.5.0 openmpi/4.1.6), (arch/avx512 aocc/4.2.0 openmpi/4.1.6), (cuda/12.4.1 arch/avx2 gcc/13.2.0 openmpi/4.1.6), (cuda/12.4.1 arch/avx2 gcc/13.2.0), (arch/avx512 gcc/13.2.0 openmpi/4.1.6) |
| gsl | 2.7 | Expand gsl description Description: The GNU Scientific Library (GSL) is a numerical library for C and C++ programmers | (arch/avx2 gcc/13.2.0), (arch/avx512 gcc/13.2.0), (arch/avx512 intel-one/2024.1), (arch/avx512 intel/2023.2), (cuda/12.4.1 arch/avx2 gcc/13.2.0), (arch/avx512 gcc/9.5.0) |
| hdf5 | 1.10.9, 1.12.3, 1.14.2, 1.14.6 | Expand hdf5 description Description: HDF5 is a data model, library, and file format for storing and managing data | (arch/avx512 gcc/9.5.0), (arch/avx512 gcc/13.2.0), (arch/avx512 intel/2023.2 openmpi/4.1.6), (arch/avx512 gcc/13.2.0 openmpi/4.1.6), (arch/avx512 intel/2023.2), (arch/avx512 intel-one/2024.1 openmpi/4.1.6), (arch/avx512 gcc/13.2.0 openmpi/5.0.6), (arch/avx512 intel-one/2024.1), (cuda/12.4.1 arch/avx2 gcc/13.2.0 openmpi/5.0.6), (cuda/12.4.1 arch/avx2 gcc/13.2.0), (cuda/12.4.1 arch/avx2 gcc/12.3.0), (cuda/12.4.1 arch/avx2 gcc/13.2.0 openmpi/4.1.6), (arch/avx512 intel-one/2024.1 openmpi/5.0.6), (arch/avx512 intel/2023.2 intelmpi/2021.10), (arch/avx512 gcc/11.5.0) |
| highfive | 2.10.1 | Expand highfive description Description: HighFive is a modern header-only C++11 friendly interface for libhdf5 | (arch/avx512 gcc/13.2.0 openmpi/4.1.6) |
| hisat2 | 2.2.1 | Expand hisat2 description Description: HISAT2 is a fast and sensitive alignment program for mapping next-generation sequencing reads (both DNA and RNA) against the general human population (as well as against a single reference genome) | (arch/avx512 gcc/13.2.0) |
| hmmer | 3.4 | Expand hmmer description Description: HMMER is used for searching sequence databases for homologs of protein sequences, and for making protein sequence alignments. It implements methods using probabilistic models called profile hidden Markov models (profile HMMs) | |
| htgettoken | 2.0-2 | Expand htgettoken description htgettoken gets OIDC bearer tokens by interacting with Hashicorp vault | |
| imb | 2021.7 | Expand imb description ; IMB is Intel suite for MPI benchmarks. ; This module only includes classic C benchmarks that can be built by most of compilers. ; ; ; IMB is Intel suite for MPI benchmarks. ; This module only includes classic C benchmarks that can be built by most of compilers | (arch/avx512 gcc/13.2.0 openmpi/4.1.6), (arch/avx2 intel/2023.2 intelmpi/2021.10), (arch/avx512 intel/2023.2 intelmpi/2021.10) |
| intel | 2019.5, 2023.2 | Expand intel description ; Description: Intel compilers for C, C++, and Fortran ; ; Description: Intel compilers for C, C++, and Fortran | (arch/avx512), (arch/avx2) |
| intel-one | 2023.2, 2024.1 | Expand intel-one description ; Description: Intel compilers for C, C++, and Fortran from New OneAPI suite ; ; ; Description: Intel compilers for C, C++, and Fortran from New OneAPI suite | , (arch/avx512) |
| intelmpi | 2019.8, 2021.10 | Expand intelmpi description Description: Intel MPI library with compiler wrappers for C, C++, and Fortran | (arch/avx512 gcc/13.2.0), (arch/avx2 intel/2023.2), , (arch/avx512 gcc/11.5.0), (arch/avx2 gcc/13.2.0), (arch/avx512 intel/2023.2), (arch/avx512 intel-one/2024.1) |
| jags | 4.3.2+mkl-2019.5 | Expand jags description Description: JAGS is Just Another Gibbs Sampler. It is a program for analysis of Bayesian hierarchical models using Markov Chain Monte Carlo (MCMC) simulation | (arch/avx512 gcc/13.2.0) |
| jasper | 4.0.0 | Expand jasper description Description: The JasPer Project is an open-source initiative to provide a free software-based reference implementation of the codec specified in the JPEG-2000 Part-1 standard | (arch/avx512 gcc/11.5.0), (arch/avx512 gcc/13.2.0) |
| jellyfish | 2.3.1 | Expand jellyfish description Description: Jellyfish is a tool for fast, memory-efficient counting of k-mers in DNA | |
| jemalloc | 5.3.0 | Expand jemalloc description Description: jemalloc is a general purpose malloc(3) implementation that emphasizes fragmentation avoidance and scalable concurrency support | |
| jq | 1.7 | Expand jq description Description: jq is a lightweight and flexible command-line JSON processor | |
| julia | 1.10.3, 1.11.3 | Expand julia description Description: The Julia Language: A fresh approach to technical computing | |
| kim | 2.3.0 | Expand kim description Open Knowledgebase of Interatomic Models (KIM) | (arch/avx512 gcc/13.2.0), (arch/avx2 gcc/13.2.0), (arch/avx512 intel-one/2024.1), (cuda/12.4.1 arch/avx2 gcc/13.2.0) |
| kokkos | 4.4.01 | Expand kokkos description KOKKOS is a portable, hardware agnostic layer for writing C++ HPC applications | (cuda/12.4.1 arch/avx2 gcc/13.2.0) |
| lammps | 2021-09-29, 2024-08-29p1, 2024-08-29p1-nep | Expand lammps description Description: LAMMPS stands for Large-scale Atomic/Molecular Massively Parallel Simulator | (arch/avx512 intel-one/2024.1 openmpi/4.1.6), (arch/avx512 gcc/13.2.0 openmpi/4.1.6), (cuda/12.4.1 arch/avx2 gcc/13.2.0 openmpi/4.1.6) |
| libaec | 1.0.6 | Expand libaec description Description: Libaec provides fast lossless compression of 1 up to 32 bit wide signed or unsigned integers (samples). The library achieves best results for low entropy data as often encountered in space imaging instrument data or numerical model output from weather or climate simulations. While floating point representations are not directly supported, they can also be efficiently coded by grouping exponents and mantissa | |
| libint-cp2k | 2.6 | Expand libint-cp2k description Description: Libint library is used to evaluate the traditional (electron repulsion) and certain novel two-body matrix elements (integrals) over Cartesian Gaussian functions used in modern atomic and molecular theory | (arch/avx512 gcc/13.2.0) |
| libvori | 220621 | Expand libvori description libvori is a Library for Voronoi Integration written in C++ | |
| libxc | 5.1.5, 6.2.2 | Expand libxc description Description: Libxc is a library of exchange-correlation functionals for density-functional theory. The aim is to provide a portable, well tested and reliable set of exchange and correlation functionals | (arch/avx512 intel-one/2024.1), (arch/avx512 intel/2023.2), (arch/avx512 gcc/13.2.0), (arch/avx512 aocc/4.2.0) |
| libxml2 | 2.11.9 | Expand libxml2 description Description: libxml2 is an XML toolkit implemented in C, originally developed for the GNOME Project | |
| matlab | R2020B2, R2022A, R2023B, R2024A | Expand matlab description MATLAB, a computing environment from Mathworks | |
| mcr | R2020b, R2022a, R2023b, R2024a | Expand mcr description Description: Run MATLAB applications on computers that do not have MATLAB installed | |
| megahit | 1.2.9 | Expand megahit description Description: An ultra-fast single-node solution for large and complex metagenomics assembly via succinct de Bruijn graph | |
| metashape-pro | 2.1.3, 2.2.0 | Expand metashape-pro description Agisoft Metashape is a stand-alone software product that performs photogrammetric processing of digital images ; and generates 3D spatial data to be used in GIS applications, cultural heritage documentation, ; and visual effects production as well as for indirect measurements of objects of various scales | |
| metis | 5.1.0 | Expand metis description Description: METIS is a set of serial programs for partitioning graphs, partitioning finite element meshes, and producing fill reducing orderings for sparse matrices | (arch/avx512 gcc/13.2.0), (arch/avx512 intel/2023.2), (arch/avx512 gcc/9.5.0) |
| metis32 | 5.1.0 | Expand metis32 description Description: METIS is a set of serial programs for partitioning graphs, partitioning finite element meshes, and producing fill reducing orderings for sparse matrices | (arch/avx512 gcc/13.2.0) |
| micro | 2.0.14 | Expand micro description micro is a simple, modern and intuitive text editor | |
| mii | 1.1.1 | Expand mii description Description: A smart search engine for module environments | |
| minimap2 | 2.28 | Expand minimap2 description Minimap2 is a versatile sequence alignment program that aligns DNA or mRNA sequences against a large reference database | |
| mkl | 2019.5, 2024.1 | Expand mkl description Description: Intel Math Kernel Library | (cuda/12.4.1 arch/avx2 gcc/13.2.0), (cuda/11.8.0 arch/avx2 gcc/11.5.0), (arch/avx512 gcc/9.5.0), (arch/avx512 gcc/11.5.0), (arch/avx512 gcc/13.2.0), (arch/avx2 gcc/13.2.0) |
| molden | 7.3 | Expand molden description Description: Molden is a package for displaying Molecular Density from the Ab Initio packages GAMESS-UK, GAMESS-US and GAUSSIAN and the Semi-Empirical packages Mopac/Ampac | |
| mpfr | 4.2.1 | Expand mpfr description Description: The MPFR library is a C library for multiple-precision ; floating-point computations with correct rounding | (cuda/12.4.1 arch/avx2 gcc/13.2.0), (arch/avx512 gcc/13.2.0) |
| mumax3 | 3.10 | Expand mumax3 description Mumax3 GPU-accelerated micromagnetic simulation program for CUDA | |
| mummer | 4.0.0rc1 | Expand mummer description Description: MUMmer is a system for rapidly aligning entire genomes, whether in complete or draft form. AMOS makes use of it | |
| mustang | 3.2.4 | Expand mustang description Description: MUSTANG (MUltiple STructural AligNment AlGorithm), for the alignment of multiple protein structures | (arch/avx512 gcc/13.2.0) |
| nbo | nbo7-2021 | Expand nbo description The Natural Bond Orbital (NBO) program NBO 7 | |
| nco | 5.3.1 | Expand nco description Description: The NCO toolkit manipulates and analyzes data stored in netCDF-accessible formats, including DAP, HDF4, HDF5, and, most recently, Zarr | (arch/avx512 gcc/13.2.0) |
| ncview | 2.1.11 | Expand ncview description Description: Ncview is a visual browser for netCDF format files. Typically you would use ncview to get a quick and easy, push-button ; look at your netCDF files. You can view simple movies of the data, view along various dimensions, take a look at the actual data values, change color maps, invert the data, etc | (arch/avx512 gcc/13.2.0) |
| netcdf | 4.9.2+hdf5-1.14.2 | Expand netcdf description Description: NetCDF (network Common Data Form) is a set of software libraries and machine-independent data formats that support the creation, access, and sharing of array-oriented scientific data | (arch/avx512 gcc/13.2.0), (arch/avx512 intel-one/2024.1), (arch/avx512 gcc/11.5.0), (arch/avx512 intel/2023.2), (cuda/12.4.1 arch/avx2 gcc/13.2.0) |
| nextflow | 24.10.0 | Expand nextflow description Nextflow is a reactive workflow framework and a programming DSL that eases writing computational pipelines with complex data | |
| ninja | 1.10.2 | Expand ninja description Description: Ninja is a small build system with a focus on speed | |
| nodejs | 18.20.2, 18.20.4, 18.20.5, 20.12.2, 20.15.1, 20.16.0, 20.18.1, 22.11.0, 22.4.1, 22.5.1 | Expand nodejs description Node.JS - the asynchronous server-side JavaScript language. https://nodejs.org | |
| nvtop | 3.1.0 | Expand nvtop description Description: NVTOP stands for Neat Videocard TOP, a (h)top like task monitor for GPUs and accelerators. It can handle multiple GPUs and print information about them in a htop-familiar way | |
| nwchem | 7.2.2, 7.2.2+aocl-4.2.0-64 | Expand nwchem description Description: NWChem is an open source high performance computing package for computational chemistry | (arch/avx512 intel-one/2024.1 openmpi/4.1.6), (arch/avx512 gcc/13.2.0 openmpi/4.1.6), (arch/avx512 aocc/4.2.0 openmpi/4.1.6) |
| openbabel | 3.1.1 | Expand openbabel description Description: Open Babel is a chemical toolbox designed to speak the many languages of chemical data. It’s an open, collaborative project allowing anyone to search, convert, analyze, or store data from molecular modeling, chemistry, solid-state materials, biochemistry, or related areas | (arch/avx512 gcc/13.2.0) |
| openblas | 0.3.26, 0.3.28 | Expand openblas description Description: OpenBLAS: An optimized BLAS library | (cuda/12.4.1 arch/avx2 gcc/13.2.0), (cuda/12.4.1 arch/avx2 gcc/12.3.0), (arch/avx512 intel/2023.2), (arch/avx512 aocc/4.2.0), (arch/avx512), (arch/avx512 gcc/13.2.0), (cuda/11.8.0 arch/avx2 gcc/11.5.0) |
| openeye | 2022.2.1 | Expand openeye description OpenEye: module for R. Davis Group only | |
| openjdk | 11.0.22, 17.0.11_9, 17.0.12_7, 17.0.13_11, 21.0.2, 21.0.3_9, 21.0.4_7, 21.0.5_11, 21.0.6_7 | Expand openjdk description Description: The free and opensource java implementation | |
| openmpi | 4.1.6, 5.0.6 | Expand openmpi description Description: An open source Message Passing Interface implementation | (cuda/12.4.1 arch/avx2 gcc/13.2.0), (arch/avx512 gcc/11.5.0), (arch/avx512 gcc/9.5.0), (arch/avx2 aocc/4.2.0), (arch/avx512 gcc/13.2.0), (cuda/12.4.1 arch/avx2 gcc/12.3.0), (arch/avx512 intel-one/2024.1), (cuda/12.2.2 arch/avx2 gcc/12.3.0), (arch/avx512 aocc/4.2.0), (arch/avx512 intel/2023.2), (arch/avx2 intel/2023.2) |
| opennurbs | 8.12 | Expand opennurbs description Description: The openNURBS Initiative provides CAD, CAM, CAE, and computer graphics software developers the tools to accurately transfer 3D geometry between applications | (arch/avx512 gcc/9.5.0), (arch/avx512 gcc/13.2.0) |
| openssl | 3.4.0 | Expand openssl description Description: OpenSSL is an open source project that provides a robust, commercial-grade, and full-featured toolkit for the Transport Layer Security (TLS) and Secure Sockets Layer (SSL) protocols | |
| orca | 5.0.4, 6.0.1 | Expand orca description Description ; =========== ; ORCA is a flexible, efficient and easy-to-use general purpose tool for quantum ; chemistry with specific emphasis on spectroscopic properties of open-shell molecules. ; It features a wide variety of standard quantum chemical methods ranging from ; semiempirical methods to DFT to single- and multireference correlated ab initio methods. ; It can also treat environmental and relativistic effects | (arch/avx512 intel/2023.2 openmpi/4.1.6), (arch/avx512 gcc/13.2.0 openmpi/4.1.6) |
| osu-micro-benchmarks | 5.7.1 | Expand osu-micro-benchmarks description Description: The Ohio MicroBenchmark suite is a collection of independent MPI message passing performance microbenchmarks developed and written at The Ohio State University | (arch/avx512 gcc/13.2.0 openmpi/4.1.6) |
| ovito | 3.12.0 | Expand ovito description OVITO (Open Visualization Tool) is a scientific data visualization and analysis software designed for molecular and particle-based simulation models | |
| pandoc | 3.6.1 | Expand pandoc description Description: If you need to convert files from one markup format into another, pandoc is your swiss-army knife | |
| paraview-offscreen | 5.10.1 | Expand paraview-offscreen description Description: Off-screen rendering with ParaView, a scientific parallel visualizer | |
| parmetis | 4.0.3-shared | Expand parmetis description Description: ParMETIS is an MPI-based parallel library that implements a variety of algorithms for partitioning unstructured graphs, meshes, and for computing fill-reducing orderings of sparse matrices | (arch/avx512 intel/2023.2 openmpi/4.1.6), (arch/avx512 gcc/13.2.0 openmpi/4.1.6) |
| perl | 5.38.2, 5.40.1 | Expand perl description Description: Perl 5 is a highly capable, feature-rich programming language with over 27 years of development | (arch/avx512), (arch/avx2) |
| petsc-complex | 3.13.3+mkl-2019.5, 3.22.2+mkl-2019.5 | Expand petsc-complex description Description: PETSc is a suite of data structures and routines for the scalable (parallel) solution of scientific applications modeled by partial differential equations | (arch/avx512 gcc/13.2.0 openmpi/4.1.6) |
| petsc-real | 3.13.3+mkl-2019.5, 3.22.2+mkl-2019.5 | Expand petsc-real description Description: PETSc is a suite of data structures and routines for the scalable (parallel) solution of scientific applications modeled by partial differential equations | (arch/avx512 gcc/13.2.0 openmpi/4.1.6) |
| picard | 3.3.0 | Expand picard description Picard: A set of tools (in Java) for working with next generation sequencing data in the BAM format | |
| pnetcdf | 1.14.0 | Expand pnetcdf description Description: Parallel netCDF: A Parallel I/O Library for NetCDF File Access | (arch/avx512 gcc/13.2.0 openmpi/4.1.6), (arch/avx512 intel/2023.2 openmpi/4.1.6) |
| podman | 5.4.2 | Expand podman description Podman (the POD MANager) is a tool for managing containers and images, volumes mounted into those containers, and pods made from groups of containers | |
| podman-compose | 1.3.0 | Expand podman-compose description An implementation of Compose Spec with Podman backend | |
| podman-tui | 1.5.0 | Expand podman-tui description Podman-tui is a terminal user interface for podman environment. ; It uses podman go bindings to communicate with local or remote podman machine (through SSH) | |
| prodigal | 2.6.3 | Expand prodigal description Description: Prodigal (Prokaryotic Dynamic Programming Genefinding Algorithm) is a microbial (bacterial and archaeal) gene finding program developed at Oak Ridge National Laboratory and the University of Tennessee | |
| proj | 9.5.0 | Expand proj description Description: Program proj is a standard Unix filter function which converts geographic longitude and latitude coordinates into cartesian coordinates | (arch/avx512 gcc/13.2.0) |
| prsice | 2.3.5 | Expand prsice description Description: PRSice (pronounced ‘precise’) is a software package for calculating, applying, evaluating and plotting the results of polygenic risk scores (PRS). PRSice can run at high-resolution to provide the best-fit PRS as well as provide results calculated at broad P-value thresholds, illustrating results corresponding to either, can thin SNPs according to linkage disequilibrium and P-value ( clumping ), and can be applied across multiple traits in a single run | (arch/avx512) |
| python | 3.10.14, 3.10.16, 3.11.11, 3.11.8, 3.12.9 | Expand python description Description: The Python programming language | (arch/avx2 gcc/13.2.0), (cuda/12.4.1 arch/avx2 gcc/12.3.0), (arch/avx512 gcc/13.2.0), (cuda/12.2.2 arch/avx2 gcc/12.3.0), (arch/avx512 gcc/11.5.0), (arch/avx512 aocc/4.2.0), (arch/avx512 intel-one/2024.1), (cuda/12.4.1 arch/avx2 gcc/13.2.0), (cuda/11.8.0 arch/avx2 gcc/11.5.0), (arch/avx512 gcc/9.5.0) |
| qiime2 | 2024.10 | Expand qiime2 description Description: QIIME is an open-source bioinformatics pipeline for performing microbiome analysis from raw DNA sequencing data | |
| qt | 6.7.1, 6.8.1 | Expand qt description Description: Qt is a comprehensive cross-platform C++ application framework | (arch/avx512 gcc/13.2.0) |
| quast | 5.3.0 | Expand quast description Description: QUAST is an open-source bioinformatics Quality Assessment Tool for Genome Assemblies | |
| r | 4.3.3, 4.4.1+aocl-4.2.0, 4.4.1+mkl-2019.5, 4.4.1+mkl-2024.1 | Expand r description Description: R is a language and environment for statistical computing and graphics | (arch/avx512), (arch/avx2), (arch/avx2 gcc/13.2.0), (arch/avx512 gcc/13.2.0), (cuda/12.4.1 arch/avx2 gcc/13.2.0) |
| ramalama | 0.7.3 | Expand ramalama description RamaLama tool facilitates local management and serving of AI Models | |
| ratarmount | 1.0.0 | Expand ratarmount description Random Access To Archived Resources (Ratarmount) ; Ratarmount collects all file positions inside a TAR so that it can easily jump to and read from any file without extracting it. ; It, then, mounts the TAR using fusepy for read access just like archivemount. ; In contrast to libarchive, on which archivemount is based, random access and true seeking is supported. ; And in contrast to tarindexer, which also collects file positions for random access, ratarmount offers easy access via FUSE and support for compressed TARs | |
| rclone | 1.67.0, 1.68.2 | Expand rclone description Rclone: sync files/directories to and from a variety of online storage services | |
| relion | 4.0.2, 5.0.0 | Expand relion description Description: RELION (for REgularised LIkelihood OptimisatioN) is a stand-alone computer program for Maximum. A Posteriori refinement of (multiple) 3D reconstructions or 2D class averages in cryo-electron microscopy | (arch/avx512 gcc/13.2.0 openmpi/4.1.6), (cuda/12.4.1 arch/avx2 gcc/13.2.0 openmpi/5.0.6), (arch/avx512 intel-one/2024.1 openmpi/5.0.6) |
| root | 6.32.08, 6.34.02 | Expand root description Description: The ROOT system provides a set of OO frameworks with all the functionality needed to handle and analyze large amounts of data in a very efficient way | (arch/avx512 gcc/13.2.0) |
| rs-server | 2024.12.1-563 | Expand rs-server description RStudio server for use with Ondemand or Jupyter | |
| rust | 1.79.0, 1.86.0 | Expand rust description Description: Rust is a systems programming language that runs blazingly fast, prevents segfaults, and guarantees thread safety | |
| samtools | 1.20 | Expand samtools description Description: SAM Tools provide various utilities for manipulating alignments in the SAM format, including sorting, merging, indexing and generating alignments in a per-position format | (arch/avx512 gcc/13.2.0) |
| scipy-bundle | 2023+python-3.10.14, 2023+python-3.10.16, 2023+python-3.11.8 | Expand scipy-bundle description A bundle of common Python packages: Numpy, Scipy, Pandas, Matplotlib etc | (arch/avx512 gcc/13.2.0) |
| scons | 3.1.2 | Expand scons description Description: SCons is a software construction tool | |
| scotch | 7.0.5 | Expand scotch description Description: Software package and libraries for sequential and parallel graph partitioning, static mapping, and sparse matrix block ordering, and sequential mesh and hypergraph partitioning | (arch/avx512 gcc/13.2.0 openmpi/4.1.6), (arch/avx512 intel/2023.2 openmpi/4.1.6) |
| singularity | 4.1.2, 4.2.2 | Expand singularity description Singularity CE - Containers for HPC from sylabs.io | |
| skopeo | 1.18.0 | Expand skopeo description Skopeo is a command line utility that performs various operations on container images and image repositories | |
| snp-sites | 2.5.1 | Expand snp-sites description Description: Extracting single nucleotide polymorphisms (SNPs) from a large whole genome alignment is now a routine task, but existing tools have failed to scale efficiently with the increased size of studies | |
| snpeff | 5.2f | Expand snpeff description Description: SnpEff is a variant annotation and effect prediction tool. It annotates and predicts the effects of genetic variants (such as amino acid changes) | |
| sparsehash | 2.0.4 | Expand sparsehash description Description: An extremely memory-efficient hash_map implementation. 2 bits/entry overhead! The SparseHash library contains several hash-map implementations, including implementations that optimize for space or speed | |
| sqlite | 3.35.5 | Expand sqlite description Description: SQLite3 is an SQL database engine in a C library | |
| stata | 15.0-fagfs, 18.0-ffin | Expand stata description Description: Stata 18.0 - Statistics / Data Analysis | |
| stringtie | 3.0.0 | Expand stringtie description Description: StringTie is a fast and highly efficient assembler of RNA-Seq alignments into potential transcripts | (arch/avx512 gcc/13.2.0) |
| structure | 2.3.4 | Expand structure description Description: The program structure is a free software package for using multi-locus genotype data to investigate population structure. Its uses include inferring the presence of distinct populations, assigning individuals to populations, studying hybrid zones, identifying migrants and admixed individuals, and estimating population allele frequencies in situations where many individuals are migrants or admixed | |
| subread | 2.0.8 | Expand subread description Description: High performance read alignment, quantification and mutation discovery | |
| subversion | 1.14.3 | Expand subversion description Description: Apache Subversion - an open source version control system | |
| superlu | 5.3.0, 5.3.0+mkl-2019.5, 7.0.0, 7.0.0+mkl-2019.5 | Expand superlu description Description: SuperLU is a general purpose library for the direct solution of large, sparse, nonsymmetric systems of linear equations on high performance machines | (arch/avx512 intel/2023.2), (arch/avx512 gcc/13.2.0) |
| swig | 4.2.0 | Expand swig description Description: SWIG is a software development tool that connects programs written in C and C++ with a variety of high-level programming languages | |
| tbb | 2021.13.0 | Expand tbb description Description: Threading Building Blocks (TBB) lets you easily write parallel C++ programs that take full advantage of multicore performance, that are portable, composable and have future-proof scalability | (arch/avx512 gcc/9.5.0), (arch/avx512 gcc/13.2.0), (arch/avx2 gcc/13.2.0) |
| tblite | 0.4.0 | Expand tblite description Description: Light-weight tight-binding framework | (arch/avx512 intel/2023.2) |
| trimmomatic | 0.39 | Expand trimmomatic description Description: Trimmomatic performs a variety of useful trimming tasks for illumina paired-end and single ended data. The selection of trimming steps and their associated parameters are supplied on the command line | |
| udunits | 2.2.28 | Expand udunits description Description: A C library for units of physical quantities and a unit-definition and value-conversion utility | (arch/avx512 gcc/13.2.0), (arch/avx2 gcc/13.2.0) |
| unrar | 7.10.2 | Expand unrar description Description: Utility used to extract RAR file archives | |
| valgrind | 3.24.0 | Expand valgrind description Description: An instrumentation framework for building dynamic analysis | (arch/avx512 gcc/9.5.0 openmpi/4.1.6), (arch/avx512 gcc/13.2.0 openmpi/4.1.6) |
| vasp | 6.1.2-sol, 6.3.2-vtst, 6.3.2-vtst-sol, 6.5.0-iyer | Expand vasp description The Vienna Ab initio Simulation Package (VASP) | (arch/avx512 intel/2023.2 intelmpi/2021.10), (arch/avx512 gcc/13.2.0 openmpi/4.1.6), (arch/avx512 gcc/11.5.0 openmpi/4.1.6) |
| vaspkit | 1.5.1 | Expand vaspkit description Description: VASPKIT aims at providing a powerful and user-friendly interface to perform high throughput analysis of various material properties from the raw calculated data using the widely-used VASP code | |
| vcftools | 0.1.16 | Expand vcftools description Description: A set of tools written in Perl and C++ for working with VCF files, such as those generated by the 1000 Genomes Project | (arch/avx512) |
| velvet | 1.2.10 | Expand velvet description Description: Sequence assembler for very short reads | |
| vep | 113.4 | Expand vep description Description: Variant Effect Predictor (VEP) determines the effect of your variants (SNPs, insertions, deletions, CNVs or structural variants) on genes, transcripts, and protein sequence, as well as regulatory regions. Includes EnsEMBL-XS, which provides pre-compiled replacements for frequently used routines in VEP | |
| vim | 9.1 | Expand vim description Description: Vim is a highly configurable text editor built to make creating and changing any kind of text very efficient. It is included as vi with most UNIX systems and with Apple OS X | |
| visit | 3.4.2 | Expand visit description Description: Open Source, interactive, scalable, visualization, animation and analysis tool | |
| voroplusplus | 0.4.6 | Expand voroplusplus description Description: Voro++ is a software library for carrying out three-dimensional computations of the Voronoi tessellation | |
| vtk | 9.4.0 | Expand vtk description Description: The Visualization Toolkit (VTK) is an open-source, freely available software system for 3D computer graphics, image processing and visualization. VTK consists of a C++ class library and several interpreted interface layers including Tcl/Tk, Java, and Python. VTK supports a wide variety of visualization algorithms including: scalar, vector, tensor, texture, and volumetric methods; and advanced modeling techniques such as: implicit modeling, polygon reduction, mesh smoothing, cutting, contouring, and Delaunay triangulation | (arch/avx512 gcc/13.2.0) |
| wine | 10.0 | Expand wine description Description: Wine (originally an acronym for ‘Wine Is Not an Emulator’) is a compatibility layer capable of running Windows applications on several POSIX-compliant operating systems, such as Linux, macOS, & BSD | |
| wxwidgets | 3.0.2 | Expand wxwidgets description Description: wxWidgets is a C++ library that lets developers create applications for Windows, Mac OS X, Linux and other platforms with a ; single code base. It has popular language bindings for Python, Perl, Ruby and many other languages, and unlike other cross-platform toolkits, wxWidgets gives applications a truly native look and feel because it uses the platform’s native API rather than emulating the GUI | (arch/avx512 gcc/13.2.0) |
| xfemm | 4.0 | Expand xfemm description Description: FEMM: Magnetics, Electrostatics, Heat Flow, and Current Flow | (arch/avx512 gcc/13.2.0) |
| xtb | 6.7.1, 6.7.1+mkl-2019.5 | Expand xtb description Description: xtb - An extended tight-binding semi-empirical program package | (arch/avx512 intel/2023.2), (arch/avx512 gcc/13.2.0) |
| xz | 5.6.4 | Expand xz description XZ Utils provide a general-purpose data-compression library and command-line tools for xz and lzma formats | |
| yaml-cpp | 0.8.0 | Expand yaml-cpp description Description: A YAML parser and emitter in C++ matching the YAML 1.2 spec | |
| yaxt | 0.11.3 | Expand yaxt description Description: Yet Another eXchange Tool | (arch/avx512 gcc/13.2.0 openmpi/4.1.6), (arch/avx512 intel/2023.2 openmpi/4.1.6) |
| z3 | 4.13.4 | Expand z3 description Description: Z3 is a theorem prover from Microsoft Research with support for bitvectors, booleans, arrays, floating point numbers, strings, and other data types. This module includes z3-solver, the Python interface of Z3 | |
| zoltan | 3.83, 3.901 | Expand zoltan description Description: Zoltan Dynamic Load Balancing and Graph Algorithm Toolkit | (arch/avx512 gcc/13.2.0 openmpi/4.1.6), (arch/avx512 intel/2023.2 openmpi/4.1.6) |
| zstd | 1.5.6 | Expand zstd description Description: Zstandard, or zstd as short version, is a fast lossless compression algorithm, targeting real-time compression scenarios at zlib-level and better compression ratios |