Open source GPS post-processing options?

[dshean]

Hi CUGOS,
I was talking to a fellow UW grad student this afternoon about DGPS
post-processing tools. She is currently using Trimble Geomatics
Office and wants to migrate to an automated workflow using command-
line utilities. I will have similar needs in the coming year, so I'm
hoping to work with her to figure out a solid, (ideally) open source
solution. We're dealing with static/kinematic GPS data (RINEX format)
from survey-grade receivers (e.g. Trimble R7) and looking for cm-scale
position accuracy after differential post-processing.

She is leaning toward GAMIT/GLOBK (http://www-gpsg.mit.edu/~simon/
gtgk/), which was developed by MIT/Scripps/Harvard and is available
via MIT license to "universities and government agencies for any non-
commerical purposes." It looks to be a mature, powerful set of tools
with advanced functionality.

I poked around and found a few other potential options:

GPSTk (http://www.gpstk.org/) - developed at UT-Austin Applied
Research Labs, a "comprehensive library and set of utilities for GPS
research, analysis, and development"

RTKLIB (http://gpspp.sakura.ne.jp/rtklib/rtklib.htm) - open source GPS
processing library with utilities

GNNSTk Essential GNSS tools (http://gnsstk.sourceforge.net/) - from U
Calgary, may no longer be an active project, listed as pre-alpha, most
modification dates 2005-2007

Teqc (http://facility.unavco.org/software/teqc/teqc.html) - UNAVCO
tools (not open source), but precompiled binaries freely-available, a
"swiss army knife" GPS toolkit

NASA JPL GIPSY-OASIS (https://gipsy-oasis.jpl.nasa.gov/index.php?
page=home) - JPL tools (not open source), free license with approval,
powerful tools for various applications

Does anybody have experience with these packages or know of other
options? Any other thoughts/recommendations? Thanks.
-David