x86 C compiler written in untyped lambda calculus
-
Updated
Oct 7, 2022 - Common Lisp
#
ski-combinator-calculus
Here are 8 public repositories matching this topic...
SKI combinators
-
10BC0
Updated
May 27, 2017 - OCaml
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
Lambda Calculus Interpreter
-
Updated
May 4, 2025 - JavaScript
(SK) Esoteric Programming Language
-
Updated
Aug 19, 2018 - Java
SK Combinator Calculus written in Java
-
Updated
Jun 19, 2022 - Java
Simple Interpreter for the SKI combinator calculus
-
Updated
Jun 18, 2024 - Haskell
An esoteric programming language based on combinatory logic
interpreter combinatory-logic esoteric-programming-language ski-combinator-calculus transpiled-language
-
Updated
Oct 3, 2025 - Haskell
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."