Pinned Repositories
sub-edit
A very simple tool for synchronizing the subtitles of a movie while watching it.
libdigia
Excerpt from QtCreator to be used as an external library
torpedo
Partial kripke structure LTL model checker
didattica-ing-software
Contains the material of the course Ingegneria del Software
cineca-script
Hive-Experiment-Runner
LogParser
Hive Log Parser
alessandrorizzi's Repositories
alessandrorizzi/torpedo
Partial kripke structure LTL model checker
alessandrorizzi/sub-edit
A very simple tool for synchronizing the subtitles of a movie while watching it.
alessandrorizzi/libdigia
Excerpt from QtCreator to be used as an external library