Explore projects

Python library for manipulating trees and DAG reduction of trees

CoqInterval provides tactics for simplifying the proofs of inequalities on expressions of real numbers for the Coq proof assistant.

An R package for specifying and extracting data frames ready for data analysis from populations of MR images.

Web-based scalable visualization fo large document collections

CoRTex is a LGPL-licensed Python library for Noun Phrase coreference resolution in natural language texts. The version corresponds to a new implementation of the legacy 'cortex' project. Main novelty is the support of the French language.

CaSQ: Celldesigner as Sbml-Qual

A tool to do conversions between Gamma Mesh Format (see libMeshb) files and VTK files for ParaView

Flexible and extensible framework that integrates state-of-the-art methods for graph partitioning and sparse matrix ordering.

Documentation for the Titanic cluster

Example of a controller using a QP at the torque level

KSTAR is a source-to-source C/C++ compiler that translates OpenMP pragmas calls to parallel programming libraries like StarPU or KAAPI.

New version: https://github.com/flowersteam/social-ai

This project aims to create baselines and environments containing NPCs. NPCs are usefull because they enable us to study simple social interactions and "intertwined" multi-modal actions and observations.

C++ software for generating configurations of a molecular system (coordinates and velocities) distributed according to the QSD (Quasi Stationary Distribution) within a user defined metastable state.

snippets of the presentation given at Université de Lyon about binding Julia with C/Fortran/Pythp,

Deep learning for automatic localization and classification of gene translocations in fluorescence (FISH) microscopy images.