[paxys]

It is maintained. They just do it internally. Latest versions are periodically synced to Github. Most teams at Meta are still using Hack.