Software List

This is a list of all currently installed modules on Rivanna.  This list reflects the changes included with the major Rivanna upgrade.


Module Version Tag Description
LAME 3.99.5 'data'

LAME is a high quality MPEG Audio Layer III (MP3) encoder licensed under the LGPL.

Libtiff 4.0.6 'lib'

tiff: Library and tools for reading and writing TIFF data files

OpenEXR 2.2.0 'vis'

OpenEXR is a high dynamic-range (HDR) image file format developed by Industrial Light & Magic for use in computer imaging applications

OpenImageIO 1.6.17 'lib'

OpenImageIO is a library for reading and writing images, and a bunch of related classes, utilities, and applications.

R 3.2.1, 3.3.0, 3.4.0 'lang'

R is a free software environment for statistical computing and graphics.

abinit 8.2.2test, 8.2.2 'chem'

ABINIT is a package whose main program allows one to find the total energy, charge density and electronic structure of systems made of electrons and nuclei (molecules and periodic solids) within Density Functional Theory (DFT), using pseudopotentials and a planewave or wavelet basis.

amber 10 ''

Statistical analysis package

anaconda2 4.4.0 'lang'

Built to complement the rich, open source Python community, the Anaconda platform provides an enterprise-ready data analytics platform that empowers companies to adopt a modern open data science analytics architecture.

anaconda3 4.4.0 'lang'

Built to complement the rich, open source Python community, the Anaconda platform provides an enterprise-ready data analytics platform that empowers companies to adopt a modern open data science analytics architecture.

ansys 18.1 None

ANSYS simulation software enables organizations to confidently predict how their products will operate in the real world. We believe that every product is a promise of something greater.

ansysem 18.1 None

ANSYS simulation software enables organizations to confidently predict how their products will operate in the real world. We believe that every product is a promise of something greater.

apr 1.6.2 'tools'

The mission of the Apache Portable Runtime (APR) project is to create and maintain software libraries that provide a predictable and consistent interface to underlying platform-specific implementations.

apr-util 1.6.0 None

The mission of the Apache Portable Runtime (APR) project is to create and maintain software libraries that provide a predictable and consistent interface to underlying platform-specific implementations.

armadillo 7.800.1 'numlib'

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.

arpack-ng 3.4.0 None

ARPACK is a collection of Fortran77 subroutines designed to solve large scale eigenvalue problems.

ascmeme devel 'bio'

ASC+MEME is a fast motif discovery tool that is 10,000 times faster than MEME while preserving the same accuracy.

autotools 20150215 'devel'

This bundle collect the standard GNU build tools: Autoconf, Automake and libtool

bazel 0.5.0 'devel'

Bazel is a build tool that builds code quickly and reliably. It is used to build the majority of Google's software.

bedops 2.4.1 'bio'

BEDOPS is an open-source command-line toolkit that performs highly efficient and scalable Boolean and other set operations, statistical calculations, archiving, conversion and other management of genomic data of arbitrary scale.

bedtools 2.26.0 'bio'

The BEDTools utilities allow one to address common genomics tasks such as finding feature overlaps and computing coverage. The utilities are largely based on four widely-used file formats: BED, GFF/GTF, VCF, and SAM/BAM.

berkeley_db 6.2.32 'tools'

Berkeley DB is a family of embedded key-value database libraries providing scalable high-performance data management services to applications.

bicseq2-norm 0.2.4 None

BICseq2 is an algorithm developed for the normalization of high-throughput sequencing (HTS) data and detect copy number variations (CNV) in the genome. BICseq2 can be used for detecting CNVs with or without a control genome. BICseq2-norm is for normalizing potential biases in the sequencing data.

bicseq2-seg 0.7.2 None

BICseq2 is an algorithm developed for the normalization of high-throughput sequencing (HTS) data and detect copy number variations (CNV) in the genome. BICseq2 can be used for detecting CNVs with or without a control genome. BICseq2-seg is for detecting CNVs based on the normalized data given by BICseq2-norm.

bioperl 1.7.1 'bio'

Bioperl is the product of a community effort to produce Perl code which is useful in biology. Examples include Sequence objects, Alignment objects and database searching objects.

bismark 0.17.0 'bio'

A tool to map bisulfite converted sequence reads and determine cytosine methylation states

blast 2.6.0 'bio'

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.

blender 2.78c 'vis'

Blender is the free and open source 3D creation suite. It supports the entirety of the 3D pipeline-modeling, rigging, animation, simulation, rendering, compositing and motion tracking, even video editing and game creation.

boost 1.60.0 'devel'

Boost provides free peer-reviewed portable C++ source libraries.

bowtie2 2.1.0, 2.2.9 'bio'

Bowtie 2 is an ultrafast and memory-efficient tool for aligning sequencing reads to long reference sequences. It is particularly good at aligning reads of about 50 up to 100s or 1,000s of characters, and particularly good at aligning to relatively long (e.g. mammalian) genomes. Bowtie 2 indexes the genome with an FM Index to keep its memory footprint small: for the human genome, its memory footprint is typically around 3.2 GB. Bowtie 2 supports gapped, local, and paired-end alignment modes.

bwa 0.7.15 'bio'

Burrows-Wheeler Aligner (BWA) is an efficient program that aligns relatively short nucleotide sequences against a long reference sequence such as the human genome.

bzip2 1.0.6 'tools'

bzip2 is a freely available, patent free, high-quality data compressor. It typically compresses files to within 10% to 15% of the best available techniques (the PPM family of statistical compressors), whilst being around twice as fast at compression and six times faster at decompression.

cd-hit 4.6.7 None

CD-HIT is a very widely used program for clustering and comparing protein or nucleotide sequences.

cellprofiler 2.2.0 'bio'

CellProfiler is an image processing package to generate morphometric measurements.

cesm 1.2.2 'geo'

CESM is a fully-coupled, community, global climate model that provides state-of-the-art computer simulations of the Earth's past, present, and future climate states.

chemps2 1.8 None

CheMPS2 is a scientific library which contains a spin-adapted implementation of the density matrix renormalization group (DMRG) for ab initio quantum chemistry.

clearcut 1.3.0 'bio'

Clearcut is the reference implementation for the Relaxed Neighbor Joining (RNJ) algorithm by J. Evans, L. Sheneman, and J. Foster from the Initiative for Bioinformatics and Evolutionary Studies (IBEST) at the University of Idaho.

clhep 'numlib'

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.

cloudcompare 2.8.1 None

CloudCompare is a 3D point cloud (and triangular mesh) processing software. It has been originally designed to perform comparison between two dense 3D points clouds (such as the ones acquired with a laser scanner) or between a point cloud and a triangular mesh.

cmake 3.5.2 'devel'

CMake, the cross-platform, open-source build system. CMake is a family of tools designed to build, test and package software.

cuda 8.0.61 'system'

CUDA (formerly Compute Unified Device Architecture) is a parallel computing platform and programming model created by NVIDIA and implemented by the graphics processing units (GPUs) that they produce. CUDA gives developers access to the virtual instruction set and memory of the parallel computational elements in CUDA GPUs.

cudnn 6.0 'numlib'

The NVIDIA CUDA Deep Neural Network library (cuDNN) is a GPU-accelerated library of primitives for deep neural networks.

cufflinks 2.2.1 'bio'

Transcript assembly, differential expression, and differential regulation for RNA-Seq

cushaw3 3.0.3 'bio'

CUSHAW is a well-established leading next-generation sequencing read alignment software package based on multi-core and many-core computing.

danpos 2.2.2 'bio'

Danpos is a toolkit for Dynamic Analysis of Nucleosome and Protein Occupancy by Sequencing, version 2

ddd 3.3.12 'vis'

DDD is a graphical front-end for command-line debuggers such as GDB, DBX, WDB, Ladebug, JDB, XDB, the Perl debugger, the bash debugger bashdb, the GNU Make debugger remake, or the Python debugger pydb.

deeptools 2.5.3 'bio'

deepTools contains useful modules to process the mapped reads data for multiple quality checks, creating normalized coverage files in standard bedGraph and bigWig file formats, that allow comparison between different files (for example, treatment and control). Finally, using such normalized and standardized files, deepTools can create many publication-ready visualizations to identify enrichments and for functional annotations of the genome.

doxygen 1.8.13 'devel'

Doxygen is a documentation system for C++, C, Java, Objective-C, Python, IDL (Corba and Microsoft flavors), Fortran, VHDL, PHP, C#, and to some extent D.

eclipse oxygen-c++, oxygen-java 'bio'

Eclipse provides IDEs and platforms for many programming languages. This module includes C/C++ support.

eigen 3.3.3 'math'

Eigen is a C++ template library for linear algebra: matrices, vectors, numerical solvers, and related algorithms.

eigensoft 6.1.4 'bio'

The EIGENSOFT package combines functionality from our population genetics methods (Patterson et al. 2006) and our EIGENSTRAT stratification correction method (Price et al. 2006). The EIGENSTRAT method uses principal components analysis to explicitly model ancestry differences between cases and controls along continuous axes of variation; the resulting correction is specific to a candidate marker’s variation in frequency across ancestral populations, minimizing spurious associations while maximizing power to detect true associations. The EIGENSOFT package has a built-in plotting script and supports multiple file formats and quantitative phenotypes.

epacts 3.3.0 'tools'

EPACTS (Efficient and Parallelizable Association Container Toolbox) is a versatile software pipeline to perform various statistical tests for identifying genome-wide association from sequence data through a user-friendly interface, both to scientific analysts and to method developers.

exonerate 2.2.0 'bio'

Exonerate is a generic tool for pairwise sequence comparison. It allows you to align sequences using a many alignment models, using either exhaustive dynamic programming, or a variety of heuristics.

fasta 36.3.5e 'bio'

The FASTA programs find regions of local or global (new) similarity between protein or DNA sequences, either by searching Protein or DNA databases, or by identifying local duplications within a sequence.

fastqc 0.11.5 'bio'

FastQC is a Java application which takes a FastQ file and runs a series of tests on it to generate a comprehensive QC report.

fastx-toolkit 0.0.14 None

The FASTX-Toolkit is a collection of command line tools for Short-Reads FASTA/FASTQ files preprocessing.

ffmpeg 3.3.4 'vis'

A complete, cross-platform solution to record, convert and stream audio and video.

fftw 3.3.6 'numlib'

FFTW is a C subroutine library for computing the discrete Fourier transform (DFT) in one or more dimensions, of arbitrary input size, and of both real and complex data.

fgsl 1.1.0 'numlib'

FGSL: A Fortran interface to the GNU Scientific Library

fiji 1.51 'tools'

Fiji is an image processing distribution of ImageJ, bundling a lot of plugins which facilitate scientific image analysis.

fltk 1.3.4 'vis'

FLTK is a cross-platform C++ GUI toolkit for UNIX/Linux (X11), Microsoft Windows, and MacOS X. FLTK provides modern GUI functionality without the bloat and supports 3D graphics via OpenGL and its built-in GLUT emulation.

fluent 18.1 'licensed'

ANSYS simulation software enables organizations to confidently predict how their products will operate in the real world.

freebayes 0.9.9 'bio'

FreeBayes is a Bayesian genetic variant detector designed to find small polymorphisms, specifically SNPs (single-nucleotide polymorphisms), indels (insertions and deletions), MNPs (multi-nucleotide polymorphisms), and complex events (composite insertion and substitution events) smaller than the length of a short-read sequencing alignment.

fsa 1.15.9 'bio'

FSA:Fast Statistical Alignment, is a probabilistic multiple sequence alignment algorithm which uses a distance-based approach to aligning homologous protein, RNA or DNA sequences.

fsl 6.0 None

FSL is a comprehensive library of analysis tools for FMRI, MRI and DTI brain imaging data.

gaussian g03 None


gcc 5.4.0, 7.1.0 'compiler'

The GNU Compiler Collection includes front ends for C, C++, Objective-C, Fortran, Java, and Ada, as well as libraries for these languages (libstdc++, libgcj,...).

gdal 2.1.0 'data'

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.

geany 1.31 'lang'

Geany is a text editor using the GTK+ toolkit with basic features of an integrated development environment.

gftp 2.0.19 'tools'

gFTP is a free multithreaded file transfer client for *NIX based machines.

git 2.4.1 'tools'

Git is a free and open source distributed version control system designed to handle everything from small to very large projects with speed and efficiency.

glew 2.1.0 'lib'

The OpenGL Extension Wrangler Library (GLEW) is a cross-platform open-source C/C++ extension loading library. GLEW provides efficient run-time mechanisms for determining which OpenGL extensions are supported on the target platform.

gnuplot 5.0.6 'vis'

Portable interactive, function plotting utility

go 1.8.1 'lang'

Go is an open source programming language that makes it easy to build simple, reliable, and efficient software.

gparallel 20170822 'tools'

GNU parallel is a shell tool for executing jobs in parallel using one or more computers.

gperf 3.0.4 'devel'

GNU gperf is a perfect hash function generator. For a given list of strings, it produces a hash function and hash table, in form of C or C++ code, for looking up a value depending on the input string. The hash function is perfect, which means that the hash table has no collisions, and the hash table lookup needs a single string comparison only.

grib_api 1.16.0 'data'

The ECMWF GRIB API is an application program interface accessible from C, FORTRAN and Python programs developed for encoding and decoding WMO FM-92 GRIB edition 1 and edition 2 messages. A useful set of command line tools is also provided to give quick access to GRIB messages.

gromacs 5.1.2 'chem'

GROMACS is a versatile package to perform molecular dynamics, i.e. simulate the Newtonian equations of motion for systems with hundreds to millions of particles.

gsl 2.3 'numlib'

The GNU Scientific Library (GSL) is a numerical library for C and C++ programmers. The library provides a wide range of mathematical routines such as random number generators, special functions and least-squares fitting.

gurobi 7.0.2 'math'

The Gurobi Optimizer is a state-of-the-art solver for mathematical programming. The solvers in the Gurobi Optimizer were designed from the ground up to exploit modern architectures and multi-core processors, using the most advanced implementations of the latest algorithms.

hdf5 1.8.16, 1.8.19 'data'

HDF5 is a unique technology suite that makes possible the management of extremely large and complex data collections.

hic-pro 2.9.0 None

HiC-Pro is an optimized and flexible pipeline for Hi-C data processing.

hisat2 2.0.5 'bio'

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).

hpl 2.2 'tools'

HPL is a software package that solves a (random) dense linear system in double precision (64 bits) arithmetic on distributed-memory computers. It can thus be regarded as a portable as well as freely available implementation of the High Performance Computing Linpack Benchmark.

htslib 1.4.1 'bio'

A C library for reading/writing high-throughput sequencing data. This package includes the utilities bgzip and tabix

idl 8.4 None

IDL is an interpreted programming language used to create analyses and visualizations of numerical data.

imagemagick 7.0.7-0 'vis'

ImageMagick is a software suite to create, edit, compose, or convert bitmap images

imsl 7.1.0 'numlib'

IMSL Libraries provide optimized mathematical and statistical algorithms that can be embedded into C, C++, .NET, Java™, and Fortran applications, including many databases. IMSL enhances application performance, reliability, portability, scalability, and maintainability as well as developer productivity.

intel 16.0, 17.0 'compiler'

The Intel Compilers include compilers for C, C++, and Fortran. Intel compilers also enable use of the Math Kernel Libraries and the VTune analysis tool.

intelmpi 16.0, 17.0 'mpi'

C and C++ compiler from Intel

intltool 0.50.2 'lang'

The Intltool is an internationalization tool used for extracting translatable strings from source files, collecting the extracted strings with messages from traditional source files, and merging the translations into .xml, .desktop and .oaf files.

jags 3.4.0 'math'

JAGS is Just Another Gibbs Sampler. It is a program for analysis of Bayesian hierarchical models using Markov Chain Monte Carlo (MCMC) simulation

jasper 1.900.1, 2.0.12 'vis'

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.

java 1.8.0 'lang'

Java Platform, Standard Edition (Java SE) lets you develop and deploy Java applications on desktops and servers.

julia 0.6.0 'lang'

Julia is a high-level, high-performance dynamic programming language for numerical computing. It provides a sophisticated compiler, distributed parallel execution, numerical accuracy, and an extensive mathematical function library.

kraken 0.10.5 'bio'

Kraken is a system for assigning taxonomic labels to short DNA sequences, usually obtained through metagenomic studies.

lammps 2017-08-11 'chem'

LAMMPS is a classical molecular dynamics code, and an acronym for Large-scale Atomic/Molecular Massively Parallel Simulator.

lapack 3.7.0 'numlib'

LAPACK is written in Fortran90 and provides routines for solving systems of simultaneous linear equations, least-squares solutions of linear systems of equations, eigenvalue problems, and singular value problems.

leda 6.3 'lib'

RStudio is a set of integrated tools designed to help you be more productive with R. LEDA is a C++ class library for efficient data types and algorithms that provide algorithmic in-depth knowledge of graph- and network problems, geometric computations, combinatorial opimization and other.

libGLU 9.0.0 'vis'

The OpenGL Utility Library (GLU) is a computer graphics library for OpenGL.

libevent 2.1.8 'lib'

The libevent API provides a mechanism to execute a callback function when a specific event occurs on a file descriptor or after a timeout has been reached. Furthermore, libevent also support callbacks due to signals or regular timeouts.

libglu 9.0.0 'vis'

The OpenGL Utility Library (GLU) is a computer graphics library for OpenGL.

libpng 1.6.29 'lib'

libpng is the official PNG reference library

llvm 4.0.0 'compiler'

The LLVM Core libraries provide a modern source- and target-independent optimizer, along with code generation support for many popular CPUs (as well as some less common ones!) These libraries are built around a well specified code representation known as the LLVM intermediate representation ("LLVM IR"). The LLVM Core libraries are well documented, and it is particularly easy to invent your own language (or port an existing compiler) to use LLVM as an optimizer and code generator.

mathematica 11.1.1 'math'

Mathematica is a computational software program used in many scientific, engineering, mathematical and computing fields.

matlab R2017a None
maven 3.3.9 'devel'

Binary maven install, Apache Maven is a software project management and comprehension tool. Based on the concept of a project object model (POM), Maven can manage a project's build, reporting and documentation from a central piece of information.

meme 4.10.2 'bio'

The MEME Suite allows you to: * discover motifs using MEME, DREME (DNA only) or GLAM2 on groups of related DNA or protein sequences, * search sequence databases with motifs using MAST, FIMO, MCAST or GLAM2SCAN, * compare a motif to all motifs in a database of motifs, * associate motifs with Gene Ontology terms via their putative target genes, and * analyse motif enrichment using SpaMo or CentriMo.

mothur 1.39.5 'bio'

Mothur is a single piece of open-source, expandable software to fill the bioinformatics needs of the microbial ecology community.

motif 2.3.7 'vis'

Motif refers to both a graphical user interface (GUI) specification and the widget toolkit for building applications that follow that specification under the X Window System on Unix and other POSIX-compliant systems. It was the standard toolkit for the Common Desktop Environment and thus for Unix.

mummer 4.0.0 'bio'

MUMmer is a system for rapidly aligning entire genomes, whether in complete or draft form. AMOS makes use of it.

muscle 3.8.31 'bio'

MUSCLE is one of the best-performing multiple alignment programs according to published benchmark tests, with accuracy and speed that are consistently better than CLUSTALW. MUSCLE can align hundreds of sequences in seconds. Most users learn everything they need to know about MUSCLE in a few minutes—only a handful of command-line options are needed to perform common alignment tasks.

mvapich2 2.3a 'mpi'

This is an MPI 3.0 implementation. It is based on MPICH2 and MVICH.

ncbi-vdb 2.8.2 None

The SRA Toolkit and SDK from NCBI is a collection of tools and libraries for using data in the INSDC Sequence Read Archives.

ncl 6.4.0 'data'

NCL is an interpreted language designed specifically for scientific data analysis and visualization.

netcdf 4 'data'

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. This module bundles the C++ and Fortran libaries.

netperf 2.6.0 None


neuron 7.4 'bio'

Empirically-based simulations of neurons and networks of neurons.

ngs 1.3.0 'bio'

NGS is a new, domain-specific API for accessing reads, alignments and pileups produced from Next Generation Sequencing.

ngsplot 2.61 'bio'

ngs.plot allows easy visualization of next-generation sequencing (NGS) samples at functional genomic regions.

ntl 10.5.0 'math'

NTL is a high-performance, portable C++ library providing data structures and algorithms for manipulating signed, arbitrary length integers, and for vectors, matrices, and polynomials over the integers and over finite fields.

openblas 0.2.19 'numlib'

OpenBLAS is an optimized BLAS library based on GotoBLAS2 1.13 BSD version.

openmpi 2.1.1, 2.1.2 'mpi'

The Open MPI Project is an open source MPI-2 implementation.

p7zip 16.02 'tools'

p7zip is a quick port of 7z.exe and 7za.exe (command line version of 7zip) for Unix. 7-Zip is a file archiver with highest compression ratio.

pcmsolver 1.1.4 'chem'

An API for the Polarizable Continuum Model.

peakseq 1.31 'bio'

PeakSeq is a program for identifying and ranking peak regions in ChIP-Seq experiments. It takes as input, mapped reads from a ChIP-Seq experiment, mapped reads from a control experiment and outputs a file with peak regions ranked with increasing Q-values.

perl 5.24.0 'lang'

Larry Wall's Practical Extraction and Report Language

pgi 17.5 'compiler'

C, C++, and Fortran compilers from PGI

picard 2.1.1 'bio'

A set of tools (in Java) for working with next generation sequencing data in the BAM ( format.

proj 4.9.2 'lib'

Program proj is a standard Unix filter function which converts geographic longitude and latitude coordinates into cartesian coordinates

psi4 1.1 'chem'

PSI4 is an open-source suite of ab initio quantum chemistry programs designed for efficient, high-accuracy simulations of a variety of molecular properties. We can routinely perform computations with more than 2500 basis functions running serially or in parallel.

pslib 0.4.5 'tools'

pslib is a C-library to create PostScript files on the fly. It offers many drawing primitives, inclusion of png and eps images and a very sophisticated text rendering including hyphenation, kerning and ligatures.

pytorch 0.2.0 'lib'

Pytorch is a python deep learning framework using tensors and dynamic neural networks with strong GPU acceleration.

qiime 1.9.1 'bio'

QIIME is an open-source bioinformatics pipeline for performing microbiome analysis from raw DNA sequencing data.

qt5 5.9.1 'devel'

Qt is a comprehensive cross-platform C++ application framework.

quantumespresso 6.1 'chem'

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).

qwt 6.1.2 'lib'

The Qwt library contains GUI Components and utility classes which are primarily useful for programs with a technical background.

raxml 8.2.4 'bio'

RAxML search algorithm for maximum likelihood based inference of phylogenetic trees.

rdp-classifier 2.12 None

The RDP Classifier is a naive Bayesian classifier that can rapidly and accurately provides taxonomic assignments from domain to genus, with confidence estimates for each assignment.

relion 2.1.b1 'bio'

RELION (for REgularised LIkelihood OptimisatioN, pronounce rely-on) is a stand-alone computer program that employs an empirical Bayesian approach to refinement of (multiple) 3D reconstructions or 2D class averages in electron cryo-microscopy (cryo-EM).

rs 3.1.0 None

Real Roots isolation for algebraic systems with rational coefficients with a finite number of Complex Roots.

rsem 1.3.0 'bio'

RNA-Seq by Expectation-Maximization

rstudio 0.98.1103, 1.0.143 'lang'

RStudio is a set of integrated tools designed to help you be more productive with R.

ruby 2.3.4 'lang'

Ruby is a dynamic, open source programming language with a focus on simplicity and productivity. It has an elegant syntax that is natural to read and easy to write.

sage 8.0 None

SageMath is a free open-source mathematics software system licensed under the GPL. It builds on top of many existing open-source packages: NumPy, SciPy, matplotlib, Sympy, Maxima, GAP, FLINT, R and many more

sagemath 8.0 'math'

SageMath is a free open-source mathematics software system licensed under the GPL. It builds on top of many existing open-source packages: NumPy, SciPy, matplotlib, Sympy, Maxima, GAP, FLINT, R and many more

sambamba 0.6.6 'bio'

Sambamba is a tool for processing BAM files.

samtools 0.1.20, 1.4.1 'bio'

SAM Tools provide various utilities for manipulating alignments in the SAM format, including sorting, merging, indexing and generating alignments in a per-position format.

sas 9.4 ''

Statistical analysis package

scalapack 2.0.2 'numlib'

The ScaLAPACK (or Scalable LAPACK) library includes a subset of LAPACK routines redesigned for distributed memory MIMD parallel computers.

siesta 4.1-b2 'chem'

SIESTA is both a method and its computer program implementation, to perform efficient electronic structure calculations and ab initio molecular dynamics simulations of molecules and solids.

singularity 2.2.99 'tools'

Singularity enables users to have full control of their environment. Singularity containers can be used to package entire scientific workflows, software and libraries, and even data.

slatec 4.1 None

SLATEC is a comprehensive software library containing over 1400 general purpose mathematical and statistical routines written in Fortran 77.

soapdenovo2 r240 'bio'

SOAPdenovo is a novel short-read assembly method that can build a de novo draft assembly for human-sized genomes. The program is specially designed to assemble Illumina short reads. It creates new opportunities for building reference sequences and carrying out accurate analyses of unexplored genomes in a cost effective way. SOAPdenovo2 is the successor of SOAPdenovo.

spades 3.10.1 'bio'

SPAdes – St. Petersburg genome assembler – is an assembly toolkit containing various assembly pipelines.

sparsehash 2.0.3 'devel'

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.

sprng 2.0b 'lib'

Scalable Parallel Pseudo Random Number Generators Library

sqlite 3.13.0 'devel'

SQLite: SQL Database Engine in a C Library

sratoolkit 2.8.0 'bio'

The SRA Toolkit, and the source-code SRA System Development Kit (SDK), will allow you to programmatically access data housed within SRA and convert it from the SRA format

stacks 1.46 'bio'

Stacks is a software pipeline for building loci from short-read sequences, such as those generated on the Illumina platform. Stacks was developed to work with restriction enzyme-based data, such as RAD-seq, for the purpose of building genetic maps and conducting population genomics and phylogeography.

stata 12 'math'

Stata is a complete, integrated statistical software package that provides everything you need for data analysis, data management, and graphics.

subversion 1.9.7 'tools'

Subversion is an open source version control system.

swig 3.0.12 'devel'

SWIG is a software development tool that connects programs written in C and C++ with a variety of high-level programming languages.

szip 2.1 'tools'

Szip compression software, providing lossless compression of scientific data

tcl 8.6.7 None

Tcl (Tool Command Language) is a very powerful but easy to learn dynamic programming language, suitable for a very wide range of uses, including web and desktop applications, networking, administration, testing and many more.

tensorflow2 1.3.0 'lib'

TensorFlow is an open-source software library for Machine Intelligence.

tensorflow3 1.3.0 'lib'

TensorFlow is an open-source software library for Machine Intelligence.

tk 8.6.7 None

Tcl (Tool Command Language) is a very powerful but easy to learn dynamic programming language, suitable for a very wide range of uses, including web and desktop applications, networking, administration, testing and many more.

tmux 2.5 'tools'

tmux is a terminal multiplexer. It lets you switch easily between several programs in one terminal, detach them (they keep running in the background) and reattach them to a different terminal.

tophat 2.1.1 'bio'

TopHat is a fast splice junction mapper for RNA-Seq reads.

totalview 2017.1.21 'debugger'

TotalView is a GUI-based source code defect analysis tool that gives you unprecedented control over processes and thread execution and visibility into program state and variables. It allows you to debug one or many processes and/or threads in a single window with complete control over program execution. This allows you to set breakpoints, stepping line by line through the code on a single thread, or with coordinated groups of processes or threads, and run or halt arbitrary sets of processes or threads. You can reproduce and troubleshoot difficult problems that can occur in concurrent programs that take advantage of threads, OpenMP, MPI, GPUs or coprocessors.

ucsc-tools 3.5.1 None

A set of genome utilities developed at the University of California Santa Cruz.

udunits 2.2.25 'tools'

UDUNITS supports conversion of unit specifications between formatted and binary forms, arithmetic manipulation of units, and conversion of values between compatible scales of measurement.

vapor 2.4.2 'vis'

VAPOR is the Visualization and Analysis Platform for Ocean, Atmosphere, and Solar Researchers. VAPOR provides an interactive 3D visualization environment that can also produce animations and still frame images

vcftools 0.1.14-Perl-5.24.0 'bio'

The aim of VCFtools is to provide easily accessible methods for working with complex genetic variation data in the form of VCF files.

velvet 1.2.10 'bio'

Sequence assembler for very short reads

vigra 1.11.1 None

VIGRA stands for "Vision with Generic Algorithms". It's an image processing and analysis library that puts its main emphasis on customizable algorithms and data structures. VIGRA is especially strong for multi-dimensional images, because many algorithms (e.g. filters, feature computation, superpixels) are implemented for arbitrary high dimensions.

vtk 8.0.1 'vis'

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.

wxgtk 2.8.12 None


wxwidgets 3.0.3 'vis'

wxPython is a GUI toolkit for the Python programming language. It allows Python programmers to create programs with a robust, highly functional graphical user interface, simply and easily. It is implemented as a Python extension module (native code) that wraps the popular wxWidgets cross platform GUI library, which is written in C++.

yasm 1.3.0 'lang'

Yasm: Complete rewrite of the NASM assembler with BSD license

zlib 1.2.11 'lib'

zlib is designed to be a free, general-purpose, legally unencumbered -- that is, not covered by any patents -- lossless data-compression library for use on virtually any computer hardware and operating system.