Explore projects
-
guix-hpc / Guix-HPC
GNU General Public License v3.0 onlyExtensions of GNU Guix for high-performance computing.
Updated -
CORE-MATH Mission: provide on-the-shelf open-source mathematical functions with correct rounding that can be integrated into current mathematical libraries
Updated -
solverstack / Chameleon
OtherDense linear algebra subroutines for heterogeneous and distributed architectures
Updated -
Skrid_group / data-ingestion
MIT LicenseConverts music scores from MEI into Neo4j cypher graph dumps
Updated -
-
BLANCHET Bruno / CryptoVerif
CeCILL-B Free Software License AgreementUpdated -
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 -
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 -
vidjil / vidjil
GNU General Public License v3.0 onlyAn open-source platform for analysis of high-throughput repertoire sequencing (RepSeq) data
Updated -
starpu / starpu
GNU Lesser General Public License v2.1 onlyA Unified Runtime System for Heterogeneous Multicore Architectures.
More informations on https://starpu.gitlabpages.inria.fr/
Updated -
Updated
-
NumPEx-PC5 / WP2 Co-design / Proxy-GEOS-HC
CeCILL Free Software License Agreement v1.0Updated -
Updated
-
Flocq / flocq
OtherFlocq (Floats for Coq) is a floating-point formalization for the Coq system. It provides a comprehensive library of theorems on a multi-radix multi-precision arithmetic. It also supports efficient numerical computations inside Coq.
Updated -
Updated
-
Gazelle / Public / Core / Service Registry
Apache License 2.0Registry for deployed services in Gazelle Test Bed
Updated -
learninglab / serious-game / PhoneImpact
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Updated
-
pirat-public / Fos-R
GNU General Public License v3.0 or laterFos-R is a synthetic network traffic generator based on AI models. Can generate Gbps of high-quality network traffic on a laptop. No GPU required.
Updated