资 源 简 介
wAviCLe is a library and sample program to load and modify wav files. It is written in ACL2 which is a subset of LISP.
The library will perform the following filters and operations:
* delay - Delays the audio by a specified number of ms.
* cut - Cut audio at beginning and end by specified number of ms.
* boost - Boost the audio level of the audio.
* overdub - Dub another wav file over an existing wav file.
* fade-in - Fade in audio.
* fade-out - Fade out audio.
* fuzz - Make audio fuzzy.
* chipmunk - Increase speed of audio.
* filter - Filter audio.
* Other kinds of special effects
