Explore projects

Repository for the code of the paper "Fast Gradient Descent for Surface Capture Via Differentiable Rendering" at the time of the 3DV submission.

Official repository for "Intracranial Aneurysm Detection: An object detection perspective" paper

Guix Jupyter kernel

XLiFE++ is an extended finite element library developed in C++

https://parcoach.github.io/

PlaFRIM user documentation

Web site of the Guix-HPC effort.

Headwork project

GNU MPFR is an efficient arbitrary-precision floating-point library with well-defined semantics (copying the good ideas from the IEEE 754 standard), in particular correct rounding in 5 rounding modes.

Large Scale Sensitivity Analysis

Python library for manipulating trees and DAG reduction of trees

CoqInterval provides tactics for simplifying the proofs of inequalities on expressions of real numbers for the Coq proof assistant.

An R package for specifying and extracting data frames ready for data analysis from populations of MR images.

Web-based scalable visualization fo large document collections