Ah it seems that the repos mentioned in this threads are all related after all—

The coq repo is covered by the paper but is a verified version of only the scheduler (a part of the parent python repo, i presume)

Then the repo you linked to seems to be a rewrite/generalization of another(?) lower level part of the main ATL.