Developer tools: rising repos on GitHub

This list is rebuilt every Monday from the daily radar. See the live radar now