x86 C compiler written in untyped lambda calculus
-
Updated
Oct 7, 2022 - Common Lisp
x86 C compiler written in untyped lambda calculus
Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.
Lambda Calculus Interpreter
(SK) Esoteric Programming Language
Simple Interpreter for the SKI combinator calculus
SK Combinator Calculus written in Java
Add a description, image, and links to the ski-combinator-calculus topic page so that developers can more easily learn about it.
To associate your repository with the ski-combinator-calculus topic, visit your repo's landing page and select "manage topics."