For the past ~decade I've mostly been using OpenTaxSolver, a file-based open source US tax utility. It's worked for my uses.
It'd be appealing to try to factor out the underlying translation of the tax code and IRS form layout into some very simple DSL that could be used by multiple kinds of software.