Explore projects
-
Archived 0Updated
-
Small utility program to fix the attributes of SVG images controlling the way they are displayed on an HTML page.
Archived 0Updated -
Org mode HTML export template(s) with the corporate identity of Inria
Archived 0Updated -
GNU Guix packages of non-free HPC software, or free software depending on non-free software.
Archived 0Updated -
My personal definitions of Guix packages for IDEs or other software.
Archived 0UpdatedArchived 0Updated -
-
See new repository at: https://src.koda.cnrs.fr/eric.debreuve/daccuracy
Archived 1Updated -
See new repository at: https://src.koda.cnrs.fr/eric.debreuve/sklgraph
Archived 0Updated -
See new repository at: https://src.koda.cnrs.fr/eric.debreuve/cell-tracking-bc
Archived 0Updated -
See new repository at: https://src.koda.cnrs.fr/eric.debreuve/conf-ini-g
Archived 0Updated -
See new repository at: https://src.koda.cnrs.fr/eric.debreuve/std-stream-cloner
Archived 0Updated -
See new repository at: https://src.koda.cnrs.fr/eric.debreuve/obj.mpp
Archived 0Updated -
-
-
Archived 0Updated
-
Unified Microscopic Agent Navigation Simulator: A crowd-simulation engine that captures many local microscopic simulation algorithms in a single framework.
Archived 1Updated -
-
Archived 0Updated
-
Separation Logic with Characteristic Formulae Entirely within Coq
Archived 1Updated -
Package gathering code subject to segmentation of autosimilarity matrices.
Archived 0Updated