Yes, works of the US Federal Government are public domain. It gets complicated when state governments, contractors, etc. are involved, but Direct File was in-house work by USDS/18F.