访问和修改WAV文件的ACL2的图书馆。

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

wavicle
.DS_Store
acfparser.lisp
csv-writer.lisp
filter.lisp
main.lisp
operators.lisp
put.acf
samples
structures.lisp
tests.lisp
wav-gui.lisp
wav.lisp