Explore projects

Data and papers on Hardware induced fault attacks

Coupling-aware graph partitioning.

EMA is the LHS' platform for EM signal analysis. This repo contains code and documentation for this platform.

Parallel Sparse direct Solver

Markov Toolkit for Markov models simulation: perfect sampling and Monte Carlo simulation

Example of use of chameleon with morse_cmake submodule

The MPICPL (MPI Coupling) framework is a communication layer for the coupling of scientific codes, based on the well-known MPI standard.

The Massively Parallel Hybrid Solver (Maphys) aims at solving large sparse linear systems using hybrid direct/iterative methods.

all about sensors

The coupling of dyalog-sr, a feature-based shift-reduce dependency parser, with neural layers provided by Dynet. It has been developed in the context of the CONLL 2017 Universal Dependencies Shared Task and tried over a large set of languages.

An OCaml toplevel build with Timbuk.

ViTE is a trace explorer. It is a tool to visualize execution traces in Pajé or OTF format for debugging and profiling parallel or distributed applications. It is an open source software licenced under CeCILL-A.

GeCoS core provides the core IR model (CDFG), C Front-end, C code generator as well as a set of generic code analysis and transformations and other utils.