An interpreter for learning and exploring pure λ-calculus
A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
⛪ Church Encoding in JS
dneslov is a diary calendar containing the name of orthodox christian feasts and saints celebs
Church Encoding Implementation in JavaScript
Introduction into functional programming free structures: free monads, free monoids, free applicatives.
Lambda Kalkül für praktisches vanilla JavaScript - IP5 HS2019 / IP6 HS2020
Church encodings written in OCaml
A small example of a nanopass style compiler
🧮 Programming with pure lambda calculus
Simple untyped λάμδα calculus on Ruby
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.
Elaborated examples concerning functional concepts e.g. gadt, eadt, church encodings
A Haskell implementation of a Lambda Calculus interpreter supporting Normal and Applicative reduction strategies. Features include a powerful REPL, macro definitions, and a standard library with Church encodings for Booleans, Numerals, and Pairs. A comprehensive tool for understanding functional programming foundations.
Showcasing implementations of Church encoding, a technique for representing data and operations using only functions in lambda calculus
Church encoded numerical computations over lambda-calculus implemented in PHP
Bukovina is the Orthodox Christian God-service library. UNMAINTAINED. See the nearby project "dneslov" and the website
Lambda Calculus (LC) playground using kotlin!
Add a description, image, and links to the church-encoding topic page so that developers can more easily learn about it.
To associate your repository with the church-encoding topic, visit your repo's landing page and select "manage topics."