The person who posted this is probably not the cosplayer. While searching for more OS-tan media to upload here, I found that the cosplayer might be Ai Nonaka.
I will try to dig further and find some information about these models.
So I digged further and I found that the models were either made by TechArts3D or made in a program or game that was made by TechArts3D. But I didn't found any information regarding the Mac-tan and Sonata models.