Optimal evaluator of λ-calculus terms. - View it on GitHub