Explore projects

LP-update policy and applications on multi-action RB

Material for developer meetups. https://sed-paris.gitlabpages.inria.fr/developer-meetups

OBSOLETE: the Grew library is now maintained on https://github.com/grew-nlp/grewlib

Implementing symbolic data structure numeric grounding

Repository for ADT MOCHY

Heptagon is a synchronous dataflow language whose syntax and semantics is inspired from Lustre, with a syntax allowing the expression of control structures (e.g., switch or mode automata).

SED support for https://gitlab.inria.fr/solverstack.

Sanskrit linguistic resources under the Sanskrit Heritage Platform format

This platform gives tools to manipulate Sanskrit data

Itauto: an Extensible Intuitionistic SAT Solver

A C library for multipoint evaluation and root finding of well conditioned polynomials.