A programming language based on combinatory logic and term rewrite systems, with an advanced type system.
-
Updated
Jan 7, 2024 - OCaml
A programming language based on combinatory logic and term rewrite systems, with an advanced type system.
Wolf sheep cabbage river crossing puzzle ASIC design (🐺🐐🥬🚣)
A proof of confluence for combinatory logic
writeups from the book of the same name
Esoteric unary combinatory logic (variant of Jot)
Experiments to understand and find practical use cases for combinators.
simple SKI combinator calculus language written in rust
Convert between lambda calculus and combinatory logic in Schönfinkel's BCIKS system
👾 Infinite Craft, but for lambda calculus!
An elm implementation of the birds from combinatory logic. Inspired by the Haskell Data.Aviary.Birds package.
Simple Interpreter for the SKI combinator calculus
A prototypical proof checker and programming language based on illative combinatory logic
SK combinator reducer in Java
JavaScript implementation of the T[ ] transformation
Implementing the SKI combinator calculus in Haskell's type system
Implementing a small functional language with a combinator graph reduction engine
bruteforge, a selective data combinator.
A monad and combinator library. Experimental.
A reference implementation of Moses Schönfinkel's 1924 paper, On the Building Blocks of Mathematical Logic
Add a description, image, and links to the combinatory-logic topic page so that developers can more easily learn about it.
To associate your repository with the combinatory-logic topic, visit your repo's landing page and select "manage topics."