Github deleted these repos because they represented a business relationship on their part with the sanctioned Tornado Cash entity, not because they considered the code itself illegal. Other copies of the code have not been deleted by Github.
After reading OFAC's materials at least twice over, I still have no clue what the 'entity' TORNADO CASH even really is.