they should be both safe to use. However, as mentioned "iotdk" is compiled for Galileo (Quark) and hence might not have the optimum optimization parameters you could have for Edision (Atom).
And intelgalactic is only libmraa/UPM which is meant to be used for Edison