Wolf sheep cabbage river crossing puzzle ASIC design (🐺🐐🥬🚣)
-
Updated
Sep 25, 2022 - Verilog
Wolf sheep cabbage river crossing puzzle ASIC design (🐺🐐🥬🚣)
A programming language based on combinatory logic and term rewrite systems, with an advanced type system.
A proof of confluence for combinatory logic
An elm implementation of the birds from combinatory logic. Inspired by the Haskell Data.Aviary.Birds package.
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.
Convert between lambda calculus and combinatory logic in Schönfinkel's BCIKS system
👾 Infinite Craft, but for lambda calculus!
SK combinator reducer in Java
JavaScript implementation of the T[ ] transformation
Implementing a small functional language with a combinator graph reduction engine
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
bruteforge, a selective data combinator.
This repository contains my solutions to some of the assignments of the courses I took during my undergraduate first and second year
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."