Explore projects
-
-
-
Updated
-
Karp--Sipser based heuristics for the maximum cardinality matching problem in d-uniform, d-partite hypergraphs.
Updated -
MARION Jean-Yves / BINSEC
GNU Lesser General Public License v2.1 onlyUpdated -
Philippe SWARTVAGHER / starpu
GNU Lesser General Public License v2.1 onlyA Unified Runtime System for Heterogeneous Multicore Architectures
Updated -
Thierry Martinez / clangml-transforms
BSD 2-Clause "Simplified" LicenseUpdated -
GUILLON Bruno / networkdisk
BSD 3-Clause "New" or "Revised" LicenseUpdated -
-
-
Regular program verification / Timbuk / timbuk
GNU Lesser General Public License v2.1 onlyA regular verification framework based on Tree Automata and Term Rewriting Systems.
Updated -
nix-tutorial / nix-tutorial
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
A library of monadic combinators for decoding S-expressions (as defined in the Csexp library) into structured data.
Updated -
Updated
-
Matthieu Boileau / starpu
GNU Lesser General Public License v2.1 onlyA Unified Runtime System for Heterogeneous Multicore Architectures.
More informations on https://starpu.gitlabpages.inria.fr/
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 -
Updated
-
Updated