I've been playing with Sandbox platform if you're OK with "web3" stuff:

http://sandbox.game/

I'm an ex game-dev, but I never did much level design. I've been thinking about it a lot recently and I'd love to see more theory on what actually makes a good level design.