Explore projects

Gabarit de style pour les présentations beamer adapté pour la charte graphique Inria 2024.

Primary library for necro with standard tools (parse, type check, print, and transform Skeletal Semantics)

bibtex-sw-entry

CoRTex 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.

Eye-movement analysis with hidden semi-Markov models to segment phases in reading tasks

Metagrammar of Middle and Old French

Unlock your lock systems efficiently

A library for constraint-based Hindley-Milner type inference.

A fork of MATISSE's thesis template

ns-3 implementation of IEEE Standard 802.11ad/ay for RTS/DMG CTS access control under CBAP

Une description de la programmation en Coq pour un magazine grand public.

Program to perform phylogeny based analyses