Church encoded numerical computations over lambda-calculus implemented in PHP

hiptex project to allow constructing slavonic PDFs according HIP standard

an implementation of basic church encodings

Programming Languages CS-5616, taught by Dr. Junaid Haroon Siddiqui covers foundations of different paradigms of Programming Languages. This repository contains a few chosen assignments from this course.

Lambda Calculus (LC) playground using kotlin!

Church numerals, booleans and lists in JavaScript

Bukovina is the Orthodox Christian God-service library. UNMAINTAINED. See the nearby project "dneslov" and the website

Toy project to demo implementing addition and multiplication in TypeScript's type space.

Church encoding in PHP

Perform computation using purely abstract λ-functions

Church Encoding implementation in Clojure

⚡ Functional Programming Course

Church encoding to represent typical programming structures on Javascript

Зде расположен стандарт hip, применяемый для хранения и набора текстов в ц-с и греческом правописании, а также дополнения к нему.

An implementation of church encoding with Scala.

🧮 Programming with pure lambda calculus

Trying to do lambda calculus (church encoding) with elixir :)

The λ-calculus in Haskell

FizzBuzz implemented in Church encoding, from scratch