Audacity is an audio editor featuring support for several formats including WAV, Ogg Vorbis, MP3 (including direct export). The editor allows cut, copy, paste of audio sections, mixing, and supports various effects for volume, pitch, and noise removal.