Both of those were funded by and built off of American technology and investment. TSMC as an outsourcing of American made chips and ASML as a direct result of DoD research.
I don't think ASML was "funded" by American technology, it's actually ASML who has to pay for licencing...