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.
1そうだね プレイ済み