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