I'm surprised none of the answers mention the Bright Star Catalog: http://tdc-www.harvard.edu/catalogs/bsc5.html http://tdc-www.harvard.edu/catalogs/bsc5.html

I'm surprised none of the answers mention the Bright Star Catalog: http://tdc-www.harvard.edu/catalogs/bsc5.html http://tdc-www.harvard.edu/catalogs/bsc5.html The BSC includes "positions, proper motions, magnitudes, and, usually, spectral types" of 9110 stars visible to the naked eye. Equally interesting is the WCSTools package, which is a bunch of C code that can find or compute the motion of objects in a given catalog, like the BSC. There's even mention of Perl and Python wrappers for it. http://tdc-www.harvard.edu/wcstools/index.html http://tdc-www.harvard.edu/wcstools/index.html If you search GitHub, you'll find a small handful of projects dedicated to working with WCSTools.