C functions for conversion between POSIX time and TAI time - View it on GitHub