Explore projects
-
-
BLANCHET Bruno / CryptoVerif
CeCILL-B Free Software License AgreementUpdated -
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 -
Generating proof and algorithms pole website https://smimram.gitlabpages.inria.fr/proofs-algorithms
Updated -
Back to the Trees / plantinator
GNU General Public License v3.0 or laterUpdated -
BENZEKRY Sebastien / metamats.burden.treatment
GNU General Public License v3.0 or laterUpdated -
COLOMB Maxime / GitLabCIWorkshop
MIT LicenseUpdated -
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 -
-
-
Updated
-
LINE / aide / tabletop
Creative Commons Attribution 3.0 UnportedThe Tabletop activites RPi software
Updated -
-
-
ESP32 firmware providing a REST API for controlling the brachistochrone science outreach setup.
Updated -
ESP32 firmware providing a REST API for controlling the galileo science outreach setup
Updated -
-
ESP32 firmware providing a REST API for controlling the GPIO interface and higher functions
Updated