Let's not forget about the Defense Digital Service [1]. Of course I'm not sure how much of that is left under the current administration.
[1]: https://www.dds.mil/