Explore projects
-
Updated
-
-
UpdatedUpdated
-
Gathers technical materials to follow on what has been learnt and what is to be learnt
Updated -
Cado-NFS, An Implementation of the Number Field Sieve Algorithm
If you want to report bugs, or participate in cado-nfs development, read this
Updated -
Updated
-
Fast Methods for Randomized numerical linear algebra. Provides a set of tools to perform Randomized NLA computations in a fast and efficient way, e.g., using fast multipole matrix multiplication, along with various application-dependent addons.
Updated -
ConnectionStudio integrates highly heterogeneous data into graphs, enriched with extracted entities. Studio users can discover the entities in their data, navigate across connections between datasets, explore and query the data in many ways. The Studio currently supports: CSV, JSON, XML, RDF, text, property graphs, all Office formats, and PDF datasets.
For more information, see: https://connectionstudio.inria.fr
The scientific publications behind the platform: https://team.inria.fr/cedar/connectionlens/
Updated -
Generating proof and algorithms pole website https://smimram.gitlabpages.inria.fr/proofs-algorithms
Updated -
Updated
-
FELiScE (Finite Elements for Life Sciences and Engineering) is a parallel finite element library written in C++. https://team.inria.fr/commedia/software/felisce/
Updated -
-
Updated
-
Updated
-
Updated
-
E2Clab enables the Computing Continuum vision by allowing reproducible experimental research on large-scale testbeds. It supports the complete experimental cycle across the Computing Continuum: deployment, analysis, and optimization.
Updated -
-
An open-source platform for analysis of high-throughput repertoire sequencing (RepSeq) data
Updated