Hypergeometric function lists identities for the Gaussian hypergeometric function
Generalized hypergeometric function lists identities for more general hypergeometric functions
Bailey's list is a list of the hypergeometric function identities in Bailey (1935) given by Koepf (1995).
Wilf–Zeilberger pair is a method for proving hypergeometric identities
References
Bailey, W. N. (1935), Generalized hypergeometric series, Cambridge Tracts in Mathematics and Mathematical Physics, No. 32, Cambridge University Press, MR 0185155
Koepf, Wolfram (1995), "Algorithms for m-fold hypergeometric summation", Journal of Symbolic Computation, 20 (4): 399–417, doi:10.1006/jsco.1995.1056, ISSN 0747-7171, MR 1384455