Explore projects
-
Updated
-
LASHERMES Ronan / Binutils_with_fences_2.42
GNU Library General Public License v2 onlyUpdated -
pydisk / Querybuilder
BSD 3-Clause "New" or "Revised" LicenseAn SQL querybuilder written in Python.
Updated -
Geomerix / public / Go Green
GNU General Public License v3.0 or laterImplementation of Chen's "Go Green" SIGGRAPH 2022 paper
Updated -
Code for the paper "Reducing the number of qubits in quantum factoring" by Clémence Chevignard, Pierre-Alain Fouque and André Schrottenloher.
Updated -
Updated
-
HanditechLab Inria / bipbip
CeCILL Free Software License Agreement v2.1Updated -
Materials for exa2pro workshop. https://indico.math.cnrs.fr/event/6415/contributions/4982/
Updated -
-
Updated
-
SHENGHAO Yuan / CertrBPFOpt
GNU General Public License v2.0 or laterUpdated -
H2M / h2m-recommender
BSD 3-Clause "New" or "Revised" LicenseTrait recommender for abstraction approach and placement optimizer for interception approach
Updated -
Generating seminar of plateau de Saclay website https://bournez.gitlabpages.inria.fr/seminar-algorithms-of-plateau-saclay
Updated -
Generating proof and algorithms pole website https://smimram.gitlabpages.inria.fr/proofs-algorithms
Updated -
Updated