GAMIT is software from MIT, co-developed with folks at Scripps and Harvard for GPS processing and geodesy. It runs on unix based systems (I think it might be written in fortran (yikes!)), and is available for free (as in beer) to individuals, universities and government agencies.