Explore projects

Spring WP6 - Learning Robot Behavior

Main leader : Inria

https://spring-h2020.eu

CPU architecture performance evaluation tool

This repository proposes python bindings of C++ functions to approximate any multiparameter persistence module with an interval decomposable multipersistence module.

A Coq port of FIRRTL

This implementation builds a U-Net based on: https://arxiv.org/abs/1802.10508. Original implementation: https://github.com/ellisdg/3DUnetCNN

Then, we implement 2-stage cropping-segmenting and distance-related loss functions.

minimal geometry processing

Collection of lessons and learning exercises for the polyhedral model, and organized into knowledge fragments.

Scripts for testings and analysis

Simple example of pipelines with two stages. Keywords: gitlabci, c++, cmake, static analysis, cppcheck, googletest