hydiomatic (pypi): The Hy Transformer
Keywords: hy|logic-programming|minikanren|python|static-code-analysis|symbolic-computation