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.
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
Playing with evidence theory
Backend (Spring) for Mozen
A sample JAX-RS application
A base image for the UTLN Jupyter
plrsf performs syntactic merging over ASP programs
Data scrappers for bibliovid