GitHub repository: rcarriga/viscal
Primary language: TypeScript
Description: A visual representation of the lambda calculus and animation of beta reduction.