I've looked at the github project for Mathics and didn't see any use of ply... Looks like they have written their own parser/lexer.
The main issue was that generating the tables was extremely slow (~15mins). We solved this by packaging the tables, but when the version of ply changed a table regeneration was forced on our users.
The recursive descent parser was also simpler and significantly more performant.
There's a short write-up on the PR: https://github.com/mathics/Mathics/pull/416