Explore projects
-
Elan-public-code / so-bogus
Creative Commons Zero v1.0 UniversalUpdated -
Tangram / pyellcv
GNU General Public License v3.0 or laterPyEllCV: tools to manipulate ellipses and ellipsoids in the context of camera pose estimation.
Updated -
Updated
-
-
Phylophile / Treerecs
GNU Affero General Public License v3.0Treerecs is an open-source (species- and gene-) tree reconciliation software.
It can correct, rearrange and (re-)root gene trees with regard to a given species tree.
Please visit https://project.inria.fr/treerecs/ for more about Treerecs
Updated -
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.
Updated -
Updated
-
Ludovic Henrio / EncoreWithDataFuts
BSD 3-Clause "New" or "Revised" Licenserepository for development of the extension of the Encore language with dataflow explicit futures
Updated -
SPAENLEHAUER Pierre-Jean / rrspace
GNU Lesser General Public License v2.1 onlyThe rrspace software computes bases of Riemann-Roch spaces for curves defined over Z/pZ. It also provides functions to compute the group law on the Jacobian of such curves.
Updated -
Repository for the code of the article "Quantifying membrane binding using Fluorescence Correlation Spectroscopy diffusion laws" by Mouttou et al
Updated -
The Openvibe Group / Unity Apps / Hand Grasping
GNU Affero General Public License v3.0BCI based grasping exercise for user training
Updated -
Updated
-
Updated
-
Multispeech Software / kaldi.web / kaldi-wasm
Apache License 2.0Updated -
-
SIMONIN Matthieu / qemu
GNU Lesser General Public License v2.1 onlyUpdated