Explore projects

Python package for comprehensive benchmarking of feature selection methods

A Unified Runtime System for Heterogeneous Multicore Architectures.

More informations on https://starpu.gitlabpages.inria.fr/

🐸 https://ribbit.gitlabpages.inria.fr/ribbit/ 🐸

The Smolphone OS project aims to build a low-tech platform for low-tech phones.

This repository contains the botanical schemes (models of plants) and translations between them for generating determination keys.

MoReFEM core library.

This library also contains some simple Models to illustrate how to use it, and several integration tests.

https://learninglab.gitlabpages.inria.fr/serious-game/smartphone

Flocq (Floats for Coq) is a floating-point formalization for the Coq system. It provides a comprehensive library of theorems on a multi-radix multi-precision arithmetic. It also supports efficient numerical computations inside Coq.

MorphoNet Python API

FELiScE (Finite Elements for Life Sciences and Engineering) is a parallel finite element library written in C++. https://team.inria.fr/commedia/software/felisce/