Yeah I am aware of this project, and I am current trying write an alpha-star like AI for another holdem simulator https://www.pettingzoo.ml/classic, I already made some progress and I somehow believe the code for a alpha-star like texas-holdem AI will be released in sometime of the future.