libarchimedes (pypi): Hy macros for Hypothesis (among orther things)
Keywords: hy|macros|testing