An interpreter for learning and exploring pure λ-calculus

⛪ Church Encoding in JS

A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust

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

Simple untyped λάμδα calculus on Ruby

Church encodings written in OCaml

A small example of a nanopass style compiler

Elaborated examples concerning functional concepts e.g. gadt, eadt, church encodings

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