Various DEV tools

Collection of links related to developers’ stuff

PHP

• Convert a curl command to PHP

CSS

• Image to URI data converter tool

GOOGLE MAPS

• Geocode an address

• Measure distances on a map online

IP ADDRESS AND DNS

• WHOIS online tool

• Verify DNS propagation

• What’s my IP address

EMAIL

• Online SMTP email validator

JAVASCRIPT

• Tables like excel (Tabulator)
• a tool to create charts in JavaScript, useful to create mind maps.
• You can customize output on console with css using %c …and other console tricks here

IMAGES

• Compress PNG and JPG files for the web
• Animated Gif Editor EZGIF
• save animated GIF with a chrome extension