Huggingface is just a git hosting service, like github. You can add up the sizes of all the files in the directory yourself