HATsim
Originally intended for the HAT network, HATsim calculated detection probabilities for simulated exoplanetary transits as function of orbital periods. For a given number of locations (eg. observing sites in Australia, Namibia and Chile); clear statistics; observing fields, cadence and length one can find the probability of detecting exoplanets. Detection criterion was the observation of at least three planetary transits in a given period of time. The program was written in Python by the inspiration of Dr. Gaspar Bakos in February 2007, and was never actually used. Later it was improved for scheduling observing runs for robotic telescopes and now used as an ephemeris program.
The original problem required the precise calculation of rise and set times of the Sun and any celestial objects (Ra, Dec) at any location on Earth. This was done with high precision almanach data also considering the effects of atmospheric refraction and the hight of the observing site.
There is a parameter file which stores the data for observatories and targets, as shown in Figure 1 and Figure 2 shows the output calculated for August 9, 2011.
Some of the references used:
https://stjarnhimlen.se/comp/riset.html
https://www.astro.rub.de/middelberg/python/jd2gd.py
Jean Meeus: Astronomical Algorithms 2nd ed.
Testing: https://aa.usno.navy.mil/data/docs/RS_OneDay.html
https://aa.usno.navy.mil/data/docs/mrst.html
https://www.sunrisesunset.com/
https://www.hposoft.com/Astro/White%20Papers/Airmass.html%20
https://www.meteorobs.org/maillist/msg09197.html