Most of its funding comes from the federal government.
I just looked at the DC 2022 budget (the Executive Summary is 331 page pdf) and 50% of it comes from local taxes. .
Local taxes includes PILOT payments from the government on all the real estate owned by the government.
PILOT = Payment in Liu of Taxes