Hi,
As posted in another category, the $ sign files are "junk files", placed there by programs, during install or uninstall. They can be deleted.
I am not sure about the other .prx files.

You could do some research on google.com; and find some links pertaining to them.
Best wishes,
Fredg