All four are excellent resources for all different things. The first two have some things behind a subscription paywall, but in my opinion they're both well worth it.
Also check out Corey Sznajder's manual tracking project (https://public.tableau.com/profile/corey.sznajder#!/), which is another awesome resource for things not available in public NHL data, namely transition data.