This repo contains a some utilities to build and validate leap seconds leap file.
Run the following command to create leap second file:
python3 leap_generator.py
Run the following command to validate hash in existent leap file:
python3 leap_generator.py
Run the following command to generate GPS timestamp:
python3 gps_timestamp.py