Plenty of games have, with the most famous example being Valve's games, which (eventually) ship the same tools Valve uses for game creation.

Shipping the custom tools the developer built to make content for their game is relatively common.

Shipping 3rd party engine tooling is not. At all.

The equivalent to what valve did would be if Defold released some games made with Defold and then released the Defold engine, which is basically what happened.

There’s also nothing stopping from releasing your game, linking to Defold and saying use Defold to mod this game.