Explore projects

Config files and script for nvsim design space exploration

Library to convert graph to SVG file. Support constraints for positions and sizes of nodes and edges.

Sources of the Abstract Categorial Development toolkit.

A Python library/API dedicated to lazy linear operators based on diverse backends/libraries (learn more: https://faustgrp.gitlabpages.inria.fr/lazylinop)

Logger is a component used by applications or modules to record context and processing information in the server logs for maintenance and debugging purposes.

Generation of points in the disk according to a random symmetric determinantal point process.

Material about the Energy vs Responsiveness Trade-off in EASY Back Filling article submitted to Cluster 2017.

Car reflections using semantic information and approximate flow

Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.

Dense linear algebra subroutines for heterogeneous and distributed architectures

Lab folder for the IMR Wireless network Lab. Recover a simple LTE frame and decode all the channel to retrieve the secret code !