Explore projects

Spring WP6 - Learning Robot Behavior

Main leader : Inria

https://spring-h2020.eu

This platform gives tools to manipulate Sanskrit data

🐸

Web-based scalable visualization fo large document collections

SimGrid is a toolkit that provides core functionalities for the simulation of distributed applications in heterogeneous distributed environments.

Primary library for necro, and standard tools (parse, print and compil)

Docker environment for perception nodes for bodies: front_fisheye_2d_body_pose_detector, 3d_body_tracker, body_to_face_mapper, group_detector

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

Comet is a pipelined RISC-V processor generated with HLS.

A guix channel for siconos

Extensions of GNU Guix for high-performance computing.

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

dtk-distributed provides all the mechanisms to perform distributed calculations.