ski-interpreter. Combinatory logic and lambda calculus interpreter in JS/TS. Supports SKI, BCKW, Church numerals, defining new terms, λ ↔ SK conversions, and more. An HTML playground and quest page included.

github.com/dallaylaen/ski-interpreter

Vaya's read on this project

Problem, audience, market, and the verdict — sign in to see it.

Updates

No recent activity.