An interpreter for learning and exploring pure l-calculus
Programming with pure lambda calculus
A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
Church Encoding in JS
Church Encoding Implementation in JavaScript
A small example of a nanopass style compiler
Lambda Calculus (LC) playground using kotlin!
Bukovina is the Orthodox Christian God-service library. UNMAINTAINED. See the nearby project "dneslov" and the website
Introduction into functional programming free structures: free monads, free monoids, free applicatives.
Lambda Kalkul fur praktisches vanilla JavaScript - IP5 HS2019 / IP6 HS2020
An implementation of church encoding with Scala.
Church encoding in PHP
Church encodings for JavaScript primitives
Simple untyped lamda calculus on Ruby
Elaborated examples concerning functional concepts e.g. gadt, eadt, church encodings
hiptex project to allow constructing slavonic PDFs according HIP standard
dneslov is a diary calendar containing the name of orthodox christian feasts and saints celebs
The l-calculus in Haskell
Zde raspolozhen standart hip, primeniaemyi dlia khraneniia i nabora tekstov v ts-s i grecheskom pravopisanii, a takzhe dopolneniia k nemu.
FizzBuzz implemented in Church encoding, from scratch
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."