Explore projects
-
Updated
-
xlifepp / xlifepp
GNU General Public License v3.0 onlyXLiFE++ is an extended finite element library developed in C++
Updated -
Gathers technical materials to follow on what has been learnt and what is to be learnt
Updated -
KOVAC Grgur / LLM_value_stability
MIT LicenseUpdated -
Formations / Cpp / GettingStartedWithModernCpp
Creative Commons Attribution Non Commercial Share Alike 4.0 InternationalA tutorial to provide a solid basis to start writing proper C++ code with the latest versions of the standard.
Updated -
GILLES Sebastien / GettingStartedWithModernCpp
Creative Commons Attribution Non Commercial Share Alike 4.0 InternationalA tutorial to provide a solid basis to start writing proper C++ code with the latest versions of the standard.
Updated -
FLoRaSat (Framework for LoRa-based Satellite networks) is an Omnet++ based discrete-event simulator to carry out end-to-end satellite IoT simulations based on LoRa and LoRaWAN adaptations to the space domain.
Updated -
Updated
-
-
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 -
-
-
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