Explore projects
-
-
cado-nfs / cado-nfs
GNU Lesser General Public License v2.1 onlyCado-NFS, An Implementation of the Number Field Sieve Algorithm
If you want to report bugs, or participate in cado-nfs development, read this
Updated -
Gathers technical materials to follow on what has been learnt and what is to be learnt
Updated -
Builds multi-language compilation packages and related documentation
Updated -
compose / legacystack / fmr
CeCILL-C Free Software License AgreementFast 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 -
FELiScE / FELiScE
OtherFELiScE (Finite Elements for Life Sciences and Engineering) is a parallel finite element library written in C++. https://team.inria.fr/commedia/software/felisce/
Updated -
Javascript and C/C++ server side node express utilities for web applications and services
Updated -
Updated
-
Updated
-
Updated
-
Updated
-
aevol / aevol
GNU General Public License v3.0 onlyUpdated -
dynres / dyn-procs / openpmix
BSD 3-Clause Open MPI variantUpdated -
PianoTouch / pianolib
GNU General Public License v3.0 onlyUpdated -
Why3 / why3
GNU Lesser General Public License v2.1 onlyWhy3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.
Updated -
-
-