Triple-A (Automatic Analysis with Automata) is a full-featured library for (finite) automata written in Java. The application comes with two powerful analysis tools (dealing with LTL model checking and Presburger arithmetics) and a graphical user interface built around it.
Edits audio files with the option for CD mastering.
Rips media from DVD and creates disk copies.
Developed by com.rhythmiccanvas.xdroplet
CoverScout fills the gray gaps that iTunes leaves behind!
This program lets you convert videos to various media formats.
Rip DVD discs to the desired file format.
Comments