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.
Transition based Dependency parsing with reinforcement learning. With backtracking.
Backend (Spring) for Mozen
Playing with evidence theory
A base image for the UTLN Jupyter
plrsf performs syntactic merging over ASP programs