Data scrappers for bibliovid

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

Deuxième repo avec le contenu du projet nystrom adaptatif

Project Time Series analysis for the centuri summer school

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

Yet Another Framework for Experiments (Python package)

Frontend for mozen

plrsf performs syntactic merging over ASP programs

Conda recipes for the skmad-suite packages

Minimum working example of Nystrom Layer implementation

Backend (Spring) for Mozen