Explore projects

Extensions of GNU Guix for high-performance computing.

CORE-MATH Mission: provide on-the-shelf open-source mathematical functions with correct rounding that can be integrated into current mathematical libraries

Dense linear algebra subroutines for heterogeneous and distributed architectures

Converts music scores from MEI into Neo4j cypher graph dumps

Official repository for the CROCO model

https://numpex-pc5.gitlabpages.inria.fr/tutorials

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

Cado-NFS, An Implementation of the Number Field Sieve Algorithm

If you want to report bugs, or participate in cado-nfs development, read this

An open-source platform for analysis of high-throughput repertoire sequencing (RepSeq) data

A Unified Runtime System for Heterogeneous Multicore Architectures.

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

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.

Registry for deployed services in Gazelle Test Bed

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

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.