miscellaneous tools and libraries