Explore projects

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

An ontology to integrate various ecological observations and measures in rdf

Fos-R is a synthetic network traffic generator based on AI models. Can generate Gbps of high-quality network traffic on a laptop. No GPU required.

bibtex-sw-entry

Dense linear algebra subroutines for heterogeneous and distributed architectures

Perception Toolbox for Virtual Reality (PTVR) Researchers Project

Unified Microscopic Agent Navigation Simulator: A crowd-simulation engine that captures many local microscopic simulation algorithms in a single framework.

Based on : Projet d'initiation à la recherche - INSA Lyon - Flocking 2024