Giters
Lambdulus (lambdulus)

Lambdulus

lambdulus

Geek Repo

Lambda Calculus interpreter and teaching tool for students and teachers.

Github PK Tool:Github PK Tool

Lambdulus's repositories

core

Lambda calculus evaluator engine.

Language:TypeScriptLicense:MITStargazers:7Issues:4Issues:11

frontend

New and better front-end application for Lambdulus.

Language:TypeScriptStargazers:6Issues:3Issues:9

lambdulus.github.io

Online lambda calculus evaluator.

Language:HTMLStargazers:5Issues:3Issues:0

lambda-tester

Language:TypeScriptLicense:MITStargazers:0Issues:1Issues:0

staging

Staging area (development build) of the Lambdulus Frontend web app. https://lambdulus.github.io/staging/

Language:HTMLStargazers:0Issues:2Issues:0

tiny-lisp-core

A Lambdulus core module for the Tiny Lisp programming language.

Language:TypeScriptLicense:MITStargazers:0Issues:2Issues:0