A collection of open source projects relevant for industrial ecology practitioners, hosted on GitHub and beyond