If you're interested in this kind of stuff, the NASA General Mission Analysis Toolkit (GMAT) is open source and is actively used to do navigation analysis for multiple missions which are currently flying.

http://gmatcentral.org/