Explore projects
-
TousAntiCovid sources / Backend Server
Mozilla Public License 2.0archived 0Updated -
PoC at creating a VSCode extension providing an Elpi Inspector
archived 1Updated -
Julien Wintz / elpi
Otherarchived 0Updated -
Hans-Jörg Schurr / veriT-schedgen
BSD 3-Clause "New" or "Revised" Licensearchived 0Updated -
archived 0Updated
-
-
WARNING: this repository is not maintained. The project has moved to https://github.com/surfacesyntacticud/tools/tree/master/converter
archived 0Updated -
archived 0Updated
-
Algiane / guix-hpc
GNU General Public License v3.0 onlyExtensions of GNU Guix for high-performance computing.
archived 0Updated -
This project provides some example of custimization of the Grid'5000 recipes to build customized Grid'5000 environments
archived 0Updated -
-
-
Git repo for https://www.grid5000.fr/w/BigData_hands-on_tutorial
archived 1Updated -
Hans-Jörg Schurr / dotrace
BSD 2-Clause "Simplified" LicenseA simple tracing tool for C code using the 'instrument-functions' feature of GCC.
archived 0Updated -
OBSOLETE: The Grew-match tool is now based on a new backend called grew_match_back (https://gitlab.inria.fr/grew/grew_match_back)
archived 0Updated -
MARMORET Axel / BarwiseMusicCompression
BSD 3-Clause "New" or "Revised" Licensearchived 0Updated -
MARMORET Axel / MusicAE
BSD 3-Clause "New" or "Revised" LicenseSingle-song autoencoding paradigm applied to structural segmentation of music.
archived 0Updated -
MARMORET Axel / MusicNTD
BSD 3-Clause "New" or "Revised" LicenseProject presenting the code used for segmenting music pieces with Nonnegative Tucker Decomposition.
archived 0Updated -
-