I use Coreboot, which was created by USE DOE LANL.
I (used to) use Scientific Linux, created by USA DOE Fermilab. RIP Scientific.
I use ZFSonLinux, also created by USA DOE LLNL.
If I'm not on a list somewhere, someone isn't doing their job.
Bonus Point: I also paid good money for all those linux projects, so I have a right to use those softwares, and so do you.