GitHub repository: l3r8yJ/phie
Description: Experimental Emulator of a Machine that Understands 𝜑-calculus