Explore projects

MinCoverPetri is a command-line application for the fast computation of the minimal coverability set of place/transition Petri nets using the monotone pruning algorithm

The ltfatpy package is a partial Python port of the Large Time/Frequency Analysis Toolbox (LTFAT), a MATLAB®/Octave toolbox for working with time-frequency analysis and synthesis.

Customizable transition based parser, with joint and incremental predictions such as : POS tag, feats, lemmatization, tokenization, sentence segmentation.

Alignment c++ program on Decoda

A program to search a good treedepth decomposition of a graph.

Bundled code for experiments reproducibility

Analyse d'objets 3D par graphes de Reeb.