I don't know if someone have one. I guess that you'll have to make one for your game.
You can look my editor from Factory RPG. I've uploaded an uncompiled version on SmileBasicSource. It's not an editor for 2d platforms but have these features:
-Camera scroll.
-Autotile.
-Ability to put compound background(For example, a castle or a tower made of tiles)
-Load and save maps on a custom format.
Ummm...
Remember Copyrights:
If You're going to publish your project make sure the game is named differently as well as the content such as Characters, Music and GRP are created by You and not others.
Be Original... Be Awesome!
Good Luck!
I hope to see the key soon!