Wolf sheep cabbage river crossing puzzle ASIC design (🐺🐐🥬🚣)
-
Updated
Sep 25, 2022 - Verilog
Wolf sheep cabbage river crossing puzzle ASIC design (🐺🐐🥬🚣)
A proof of confluence for combinatory logic
writeups from the book of the same name
Implementing the SKI combinator calculus in Haskell's type system
Simple Interpreter for the SKI combinator calculus
A prototypical proof checker and programming language based on illative combinatory logic
A monad and combinator library. Experimental.
SK calculus reducer in as many programming languages as possible.
"DeBruijn to SKI" Untyped language that compiles to Unlambda
A combinatory logic library for ELM.
An elm implementation of the birds from combinatory logic. Inspired by the Haskell Data.Aviary.Birds package.
Esoteric unary combinatory logic (variant of Jot)
Experiments to understand and find practical use cases for combinators.
JavaScript implementation of the T[ ] transformation
SK combinator reducer in Java
Simple Combinatory Logic and Lambda Calculus in Scala
A programming language based on combinatory logic and term rewrite systems, with an advanced type system.
bruteforge, a selective data combinator.
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."