Explore projects

A Python-based tool to evaluate Web-SPARQL queries, an extension of SPARQL capable of querying both RDF data stores (SPARQL endpoints) and web-extracted microdata.

Official repository for the CROCO model

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

Contains the code for the webinterface of botascopia

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

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

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

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

An LR(1) parser generator for OCaml.

MoReFEM core library.

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

A Unified Runtime System for Heterogeneous Multicore Architectures.

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

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

Extensions of GNU Guix for high-performance computing.

The OpenViBE Designer project. 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.

Melissa is a file-avoiding, fault-tolerant, and elastic framework designed for large-scale sensitivity analysis and large-scale deep surrogate training on supercomputers.