Explore projects
-
panama / Blaster
MIT LicenseUpdated -
Thaïs Baudon / Derp TikZ
LaTeX Project Public License v1.3cUpdated -
coccinelle / CoccinelleForRust
GNU General Public License v2.0 or laterUpdated -
Updated
-
Material for developer meetups. https://sed-paris.gitlabpages.inria.fr/developer-meetups
Updated -
FEKETE Jean-Daniel / PPCA
BSD 2-Clause "Simplified" LicenseProgressive Principal Component Analysis
Updated -
MONTAGU Benoit / coral
CeCILL-C Free Software License AgreementStatic analyzers for higher-order languages
Updated -
coccinelle / coccinelle
GNU General Public License v2.0 or laterCoccinelle is a program matching and transformation engine which provides the language SmPL (Semantic Patch Language) for specifying desired matches and transformations in C code.
Updated -
Repository for ADAPT project (Adaptive Dynamical Approximations via Parallel Tensor methods). Parallel tensor formats definition, construction and multi-linear solvers.
Updated -
-
Samifier is a decision support tool as a web service to help biologists to normalize metabolic identifiers. This repository contains the Docker Image to easily deploy the Samifier platform.
Updated -
Repository for the article about ocamlp3l for the ReScience 10 years reproducibility challenge
Updated -
Phd thesis template for the UBL MathSTIC doctoral school:
https://ed-mathstic.u-bretagneloire.fr/fr/8_soutenance-de-these
Updated -
Phd thesis template for the UBL MathSTIC doctoral school:
https://ed-mathstic.u-bretagneloire.fr/fr/8_soutenance-de-these
Updated -
Documents de cours pour le cours "informatique et aléatoire" donnée en L3 Informatique à l'Université Grenoble Alpes.
Updated -
Gathers technical materials to follow on what has been learnt and what is to be learnt
Updated -
Miticov / mitigating-covid19-outbreaks
GNU General Public License v3.0 onlyThis repository provides the code for reproducing the simulations in https://www.medrxiv.org/content/10.1101/2020.11.09.20228007v1
Updated -
Maxime Dénès / coq
GNU Lesser General Public License v2.1 onlyMirror of the git repository of Coq now hosted at https://github.com/coq/coq (synchronized every 15min)
Updated -