Explore projects
-
POTTIER Francois / monolith
GNU General Public License v3.0 or laterUpdated -
Jens Gustedt / eĿlipsis
BSD 3-Clause "New" or "Revised" LicenseUpdated -
-
Updated
-
Updated
-
scotch / scotch
OtherPackage for graph and mesh/hypergraph partitioning, graph clustering, and sparse matrix ordering.
Updated -
Updated
-
Updated
-
CORSE / easytracker
Affero General Public License v1.0Updated -
PAPERMAN Charles / pysemigroup
GNU General Public License v2.0 or laterUpdated -
Gabarits / LaTeX Inria fonts
BSD 3-Clause "New" or "Revised" LicensePaquet LaTeX pour l'utilisation des fontes InriaSans et InriaSerif dans les documents générés.
Updated -
This is a repository used to store the coverage report as a static webpage
Updated -
skeletons / Necro Library
GNU General Public License v3.0 onlyPrimary library for necro with standard tools (parse, type check, print, and transform Skeletal Semantics)
Updated -
TROPHIME Valentin / palmed
GNU General Public License v3.0 or laterGUS feet: generation of a performance model from a pipedream-compatible ISA
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 -
GAUTRON Romain / gym_dssat_pdi_project
BSD 3-Clause "New" or "Revised" LicenseAn OpenAI Gym crop management environment for Reinforcement Learning (RL), based on the Decision Support System for Agrotechnology Transfer (DSSAT) crop model.
Updated