Explore projects
-
GUILLEVIC Aurore / NFS lectures
Creative Commons Attribution Non Commercial Share Alike 4.0 InternationalUpdated -
Updated
-
ZINS Pierre / Data-Driven-3D-Reconstruction-of-Dressed-Humans-from-Sparse-Views
GNU General Public License v3.0 or laterUpdated -
discovery / enos-kubernetes
GNU General Public License v3.0 onlyUpdated -
Gappa / gappa
CeCILL Free Software License Agreement v2.1Gappa is a tool intended to help verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic.
Updated -
Auctus Team / auctus-team.gitlabpages.inria.fr
MIT LicenseAuctus website https://auctus-team.gitlabpages.inria.fr/
Updated -
Updated
-
Romain Garbage / Guix-HPC
GNU General Public License v3.0 onlyExtensions of GNU Guix for high-performance computing.
Updated -
Updated
-
Numerical algebraic geometry / algpath
GNU General Public License v3.0 onlyUpdated -
tansiv / python-tansiv
GNU General Public License v3.0 onlyUpdated -
GUYET Thomas / medtrajectory_datagen
GNU General Public License v3.0 or laterUpdated -
Updated
-
-
markoviantbandit / markovianbandit
MIT LicenseThis repository contains a python library to compute whittle or indices for finite-state Markovian bandit problems.
Updated -
potential energy and gradients of potential energy of a set of springs
Updated -
PEREIRA Romain / pot
CeCILL Free Software License Agreement v2.1Updated