PaStiX (Parallel Sparse matriX package) is a scientific library that provides a high performance parallel solver for very large sparse linear systems based on direct methods. Numerical algorithms are implemented in single or double precision (real or complex) using LLt, LDLt and LU with static pivoting (for non symmetric matrices having a symmetric pattern). This solver also provides some low-rank compression methods to reduce the memory footprint and/or the time-to-solution.

PaRSEC is a generic framework for architecture aware scheduling and management of micro-tasks on distributed many-core heterogeneous architectures.

Example showing how to use starpu to implement a distributed regular 2D stencil with communication-avoiding techniques

QUARK (QUeuing And Runtime for Kernels) provides a library that enables the dynamic execution of tasks with data dependencies in a multi-core, multi-socket, shared-memory environment. QUARK infers data dependencies and precedence constraints between tasks from the way that the data is used, and then executes the tasks in an asynchronous, dynamic fashion in order to achieve a high utilization of the available resources.

MPI for Python (mpi4py) provides bindings of the Message Passing Interface (MPI) standard for the Python programming language, allowing any Python program to exploit multiple processors.

mpi4py is constructed on top of the MPI-1/MPI-2 specification and provides an object oriented interface which closely follows MPI-2 C++ bindings. It supports point-to-point and collective communications of any picklable Python object as well as optimized communications of Python objects (such as NumPy arrays) that expose a buffer interface.

Chameleon is a dense linear algebra solver relying on sequential task-based algorithms where sub-tasks of the overall algorithms are submitted to a run-time system. Such a system is a layer between the application and the hardware which handles the scheduling and the effective execution of tasks on the processing units. A run-time system such as StarPU is able to manage automatically data transfers between not shared memory area (CPUs-GPUs, distributed nodes).

Chameleon is a dense linear algebra solver relying on sequential task-based algorithms where sub-tasks of the overall algorithms are submitted to a run-time system. Such a system is a layer between the application and the hardware which handles the scheduling and the effective execution of tasks on the processing units. A run-time system such as StarPU is able to manage automatically data transfers between not shared memory area (CPUs-GPUs, distributed nodes).

Example showing how to use starpu for implementing a distributed gemm.

This package provides a complete GCC tool chain for Fortran development to be installed in user profiles. This includes gfortran, as well as libc (headers and binaries, plus debugging symbols in the debug output), and binutils.

This package provides a complete GCC tool chain for Fortran development to be installed in user profiles. This includes gfortran, as well as libc (headers and binaries, plus debugging symbols in the debug output), and binutils.

Expect tests are a method of writing tests where instead of hard-coding the expected output of a test, you run the test to get the output, and the test framework automatically populates the expected output.

FTI stands for Fault Tolerance Interface and is a library that aims to give computational scientists the means to perform fast and efficient multilevel checkpointing in large scale supercomputers.

GUIX package for the SZ3 compressor.

zfp is a compressed number format for multi-dimensional arrays. zfp provides compressed-array classes (e.g., for in-memory storage) and high-speed, parallel data compression (e.g., for offline storage). zfp supports both lossy and lossless compression and fine-grained user control over accuracy and storage size.

GUIX package for the SZ compressor.

This package has been developed for computing exact distances, without heuristics, between all pairs of reads of a NGS sample. This is a first step for supervised or unsupervised clustering of reads in an environmental sample.

ElementaryX: Elementary Emacs configuration coupled with Guix Add a default.el startup file for export-only + publish elementaryx setup together with a vanilla emacs IDE.

ElementaryX: Elementary Emacs configuration coupled with Guix. Minimal setup.

ElementaryX: Elementary Emacs configuration coupled with Guix org-mode latex (ox-latex) setup.

ElementaryX: Elementary Emacs configuration coupled with Guix. Early init.

RMSBolt is a package to provide assembly or bytecode output for a source code input file.

This package provides a collection of templates for the Emacs TempEl package.

ElementaryX: Elementary Emacs configuration coupled with Guix. Texlive add-on.

Spaceline provides Spacemacs' mode-line theme. This package provides features for three kinds of users.

• You just want to use the Spacemacs mode-line theme and forget about it.

• You want to use something similar to the Spacemacs mode-line theme, but with a handful of easy tweaks.

• You want an easy-to-use library for building your own mode-line from scratch, and you think the Spacemacs theme looks good.