Milton is an MPEG Layer 2 audio encoder implemented in portable C.
Transcoder Audio Edition is an audio converter that can convert from one audio format into another and can extract audio tracks from video files and convert them into audio formats. It uses GTK+ as its GUI toolkit and ffmpeg as its backend.
A generic memoization framework.
An interactive symbolic-numeric system dedicated to celestial mechanics.