GitLab

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

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

version 3 implementation of the Fed-BioMed project

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

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

The OpenViBE extras: Acquisition Server, demos, plugin contributions

N-body simulation using kernel independent Fast Multipole Method

A Unified Runtime System for Heterogeneous Multicore Architectures.

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

MoReFEM core library.

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

Juptyter notebooks for use cases using solvers of the nutopy toolbox and bocop code

dtkCore provides fundamental tools to build modular platform.

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

The OpenViBE SDK (certifiable perimeter). This mostly read-only repository clones the master branch of a different origin where the actual work is done. Normally there should be no other branches in this clone.

dtk logging framework

Large Scale Data Assimilation

Python API and schedulers for Batsim