Graph Editor
The Graph Editor at Blender is the main animation editor. It allows you to modify the animation for arbitrary properties with F-curves. (Source: NoSource)