A set of useful libraries for HOVE