NoCoin is a tiny browser extension aiming to block coin miners