GPS Time Representation library

Question

I am looking for a Java library that handles conversion to/from GPS Time.

GPS Time has an epoch of 6 January 1980, and does not have leap seconds, so it differs from

Answer 1

This website seems to be doing the conversion on the fly in javascript. link text