calchylus (pypi): Calchylus - Lambda Calculus with Hy
Keywords: hylang|functional-programming|hy|lambda-calculus|lisp|logic-programming|python