Explore projects

Client lib to contact Gazelle SSO (Keycloak).

OSATTA: One-Shot Automatic Test Time Augmentation for Domain Adaptation

Command-line interface for the Kieler Compiler https://rtsys.informatik.uni-kiel.de/confluence/display/KIELER/Downloads#Downloads-KielerCompilerCommand-LineInterface

Library tools for the mechanical design of parallel and serial manipulators.

The Validation Service API is a core Gazelle library designed to unify all validation services within the Gazelle Test Bed. The API describes how to perform a validation (send a validation request) and what we receive as a result (validation report).

Modular and extensible computational framework for simulating tissues, cells, ...

A Coq tactic for discharging goals about floating-point arithmetic and round-off errors using the Gappa prover.

A model to study the evolution of genomes under the influence of the transcription-supercoiling coupling.

C++ portage from tinn a simple C feedworward neural network with one hidden layer

Sysadmin resources for guix-hpc

SParse Matrix Package

Jupyter notebooks containing the code for visualization and PySCENIC analysis.

See the manuscript published in eLife: https://elifesciences.org/articles/65445 and its preprint on biorxiv: https://www.biorxiv.org/content/10.1101/2020.11.30.405571

Documents de cours pour le cours "informatique et aléatoire" donnée en L3 Informatique à l'Université Grenoble Alpes.

Implementation of J. Chen et al.'s '' Multiscale Cholesky Preconditioning for Ill-conditioned Problems '', ACM SIGGRAPH 2021. Under GPL v3 license; contact mathieu.desbrun@inria.fr for info. Project by Jiong Chen, Florian Schaefer, Mathieu Desbrun.

Flocq (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.