Explore projects
-
-
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 -
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 Debugger Generator
GNU General Public License v3.0 onlyA generator of debugger for the Skel language for semantics description
Updated -
Updated
-
Updated
-
solverstack / hips
OtherUpdated -
HCL / DeCovA
GNU General Public License v3.0 onlyUpdated -
-
POTTIER Francois / inferno
MIT LicenseA library for constraint-based Hindley-Milner type inference.
Updated -
Updated
-
MoReFEM core library.
This library also contains some simple Models to illustrate how to use it, and several integration tests.
Updated -
MoReFEM core library.
This library also contains some simple Models to illustrate how to use it, and several integration tests.
Updated -
Gabarits / LaTeX Inria fonts
BSD 3-Clause "New" or "Revised" LicensePaquet LaTeX pour l'utilisation des fontes InriaSans et InriaSerif dans les documents générés.
Updated -
Tool to generate a graphical representation of disk/partitions of a machine
Updated -
almanach / MetaGrammarToolkit / tag-utils
GNU General Public License v2.0 or latertag_utils is a set of Perl scripts to convert between various formats for Tree Adjoining Grammars, in particular the XML TAGML format.
Updated