Collection of miscellaneous repository mining tools