Explore projects

The web interface for searching grew patterns in corpora

An open-source platform for analysis of high-throughput repertoire sequencing (RepSeq) data

Simulation of HPD actors

a scalable collaborative document editor with CRDT, P2P and E2EE · mute.loria.fr

ProVerif symbolic protocol verifier

Miscellaneous files for the GNU MPFR group: web site, etc.

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

PKI to share x.509 test certificates, simulation of ATNA and XUA actors, validation service of ATNA messages and XUA assertions.

Website with:

the list of group meetings names of members resources for students (summer schools, conferences, scholarships)

An experimental GUI programming toolkit based on the Entity-Component-System (ECS) model