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
plrsf performs syntactic merging over ASP programs
Bolsonaro project of QARMA non-permanents: deforesting random forest using OMP.
Backend (Spring) for Mozen
Data scrappers for bibliovid
Possibilistic Answer Set Programming.
Transition based Dependency parsing with reinforcement learning. With backtracking.
Extended Label Image Annotation Tool called Labelimge "labelImg.py" with variant cross-platforms required at least Python 3.6, opencv, and has been tested with PyQt 4.8, additionally achieves the object Detection & Multi-Tracking.