x86 C compiler written in untyped lambda calculus
-
Updated
Oct 7, 2022 - Common Lisp
#
ski-combinator-calculus
Here are 6 public repositories matching this topic...
Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.
simulation
artificial-life
ski-calculus
ski-combinator-calculus
graph-rewriting
artificial-chemistry
chemlambda
combinatory-chemistry
-
Updated
Jul 4, 2023 - JavaScript
(SK) Esoteric Programming Language
-
Updated
Aug 19, 2018 - Java
Simple Interpreter for the SKI combinator calculus
-
Updated
May 18, 2024 - Haskell
SK Combinator Calculus written in Java
-
Updated
Jun 19, 2022 - Java
Improve this page
Add a description, image, and links to the ski-combinator-calculus topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the ski-combinator-calculus topic, visit your repo's landing page and select "manage topics."