Explore projects
-
Updated
-
SimGrid is a toolkit that provides core functionalities for the simulation of distributed applications in heterogeneous distributed environments.
Updated -
-
Articulatory speech synthesizer based on physical modeling, especially designed to simulate occlusive consonants
Updated -
Updated
-
-
-
UpdatedUpdated
-
Updated
-
Updated
-
Updated
-
Gathers technical materials to follow on what has been learnt and what is to be learnt
Updated -
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 -
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