Mentions légales du service
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.