Explore projects

Verimag's fork of CompCert

Multimodal Convolutional Neural Networks for low-latency speech inference (C++), enabling assistive voice software in research and simulated environments. Scripts to curate & pre-process data, embedding image/audio at scale for model training and evaluation

This repository contains all source files, published documents, and example programs for Siconos software.

Computer Assisted Medical Intervention Tool Kit (CamiTK) helps researchers and clinicians to easily and rapidly collaborate in order to prototype CAMI applications, that feature medical images, surgical navigation and biomechanical simulations.

Lustre v4 distribution

Internet protocols measurement tools

Ipmt is a toolbox for network performance measurement. It allows to send and receive TCP or UDP traffic. Receivers compute and display statistics continuously.