[time-nuts] leapseconds, converting between GPS time (week, second) and UTC

[Tim Lister]

On Wed, Jan 16, 2019 at 2:00 PM Jim Palfreyman <jim77742 at gmail.com> wrote:
>
> For the record, when using R, the package "lubridate" (which is part of the
> brilliant "tidyverse") does handle leap seconds.

astropy's time object in Python
(http://docs.astropy.org/en/stable/time/index.html) can also handle
leap seconds:
t1=Time('2016-12-31 23:00:00', scale='utc')
t2=Time('2017-01-01 1:00:00', scale='utc')
td = t2-t1
print(td.sec)
7201.0

It supports UTC, UT1, TAI, TCB, TCG, TDB, TT and local

Cheers,
Tim