Microsoft Research
Freeware
Z3 is an SMT solver that combines several theory solvers.
2
Juliano Vetus & partners
13
Freeware
MPEGTool truncate a DAT format MPEG file into a MPG format.
CATT
9
Freeware
CLF (Common Loudspeaker Format) allows the text format file to be edited.
80
Bluefive software
284
Freeware
It is very useful for converting HEX number format to ASCII number format.
3
Sony Corporation
67
Freeware
Coverts ATRAC format audio files in your computer to MP3 format audio files.
MAPILab Ltd.
20
Freeware
Archiving into a independent HTML format or platform-dependent CHM format.
8
MasterClass
156
Freeware
This program converts from GPX format to CSV format or vice versa.
1
Ovation IT Consulting
38
Convert any video files type to flash video format (FLV format).
80
Micro Technology Unlimited
19
Shareware
Songverter can convert all files from the selected format into the new format.
Nevo Software Inc.
5
Shareware
Convert DVDs to 3GP format and convert all popular video formats to 3GP format.
