Explore projects
-
Gabarits / LaTeX beamer 2024
BSD 3-Clause "New" or "Revised" LicenseGabarit de style pour les présentations beamer adapté pour la charte graphique Inria 2024.
Updated -
skeletons / Necro Library
GNU General Public License v3.0 onlyPrimary library for necro with standard tools (parse, type check, print, and transform Skeletal Semantics)
Updated -
-
Magnet / CoRTeX
GNU Lesser General Public License v2.1 onlyCoRTex is a LGPL-licensed Python library for Noun Phrase coreference resolution in natural language texts. The version corresponds to a new implementation of the legacy 'cortex' project. Main novelty is the support of the French language.
Updated -
Updated
-
Updated
-
-
POTTIER Francois / inferno
MIT LicenseA library for constraint-based Hindley-Milner type inference.
Updated -
A fork of MATISSE's thesis template
Updated -
-
Updated
-
-
skeletons / Necro Ocaml Generator
GNU General Public License v3.0 onlyUpdated -
solverstack / hips
OtherUpdated -
HCL / DeCovA
GNU General Public License v3.0 onlyUpdated -
BERTOT Yves / ProgrammezCoq
Creative Commons Attribution 4.0 InternationalUne description de la programmation en Coq pour un magazine grand public.
Updated -
This project contains resources and instructions on how to perform a FIT IoT-LAB like deployment including TurtleBot2 robots
Updated -
grid5000 / kadeploy
CeCILL Free Software License Agreement v2.0Kadeploy is a scalable, efficient and reliable deployment system (cluster provisioning solution) for cluster and grid computing
Updated -
Jens Gustedt / P99 - macros and functions for C99
Apache License 2.0P99 is a suite of macro and function definitions that ease the programming in C99, aka C 1999. By using new tools from C99 we implement default arguments for functions, scope bound resource management, transparent allocation and initialization, ...
Updated