Explore projects

This is the old repository for openwind

Dense linear algebra subroutines for heterogeneous and distributed architectures

Implementation of Short Read Mapping on UPMEM PIM for reference-based compression

Gappa is a tool intended to help verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic.

Synchronisation and Tuio forwarding for Cluster-Driven Ultra-high-resolution Wall Displays.

Croco test repository

Official implementation of DeepMOT.

potential energy and gradients of potential energy of a set of springs

Execute jobs on a supercomputer with slurm. A specific platform's account on the supercomputer is required and gitlab-runner launched in user-mode. Keywords: supercomputer, slurm, schedule.

AcFixer is a tool to fix the privacy code smells regarding accessibility service in android projects.