Explore projects

Sanskrit linguistic resources under the Sanskrit Heritage Platform format

Common website of the SED BSO team

cours de programmation objet INALCO - Master TAL première année

ProVerif symbolic protocol verifier

Front gateway to call validation-service.

Client lib to contact Gazelle SSO (Keycloak).

Resources for Cubers in BSO

Record messages and transactions exchanged.

Course on Deep Learning

The FAµST toolbox provides algorithms and data structures to decompose a given dense matrix into a product of sparse matrices in order to reduce its computational complexity. https://faust.inria.fr

ViTE is a trace explorer. It is a tool to visualize execution traces in Pajé or OTF format for debugging and profiling parallel or distributed applications. It is an open source software licenced under CeCILL-A.

ViTE is a trace explorer. It is a tool to visualize execution traces in Pajé or OTF format for debugging and profiling parallel or distributed applications. It is an open source software licenced under CeCILL-A.

PAX2GRAPHML :A python library for large-scale regulation network analysis using BIOPAX