Wikipedia has a list[0]. Obviously this doesn't include the unknown ones.

[0] https://en.m.wikipedia.org/wiki/PlayStation_3_cluster

Just google USAF PS3, it was called the Condor Cluster and it was big news in 2010 when the PS3 was still new. It has also been covered more recently.

The USAF also has Kubernetes in F-22s from what I understand now