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
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.
Data scrappers for bibliovid
A base image for the UTLN Jupyter
Backend (Spring) for Mozen
A sample JAX-RS application
Bolsonaro project of QARMA non-permanents: deforesting random forest using OMP.