32 results for “topic:church-encoding”
An interpreter for learning and exploring pure λ-calculus
:abacus: Programming with pure lambda calculus
A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
:church: 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 Kalkül für praktisches vanilla JavaScript - IP5 HS2019 / IP6 HS2020
Church encoding in PHP
An implementation of church encoding with Scala.
Simple untyped λάμδα calculus on Ruby
⛪ Church encodings for JavaScript primitives
Elaborated examples concerning functional concepts e.g. gadt, eadt, church encodings
hiptex project to allow constructing slavonic PDFs according HIP standard
The λ-calculus in Haskell
dneslov is a diary calendar containing the name of orthodox christian feasts and saints celebs
Зде расположен стандарт hip, применяемый для хранения и набора текстов в ц-с и греческом правописании, а также дополнения к нему.
FizzBuzz implemented in Church encoding, from scratch
Church encoding to represent typical programming structures on Javascript
:zap: Functional Programming Course
Showcasing implementations of Church encoding, a technique for representing data and operations using only functions in lambda calculus
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.
an implementation of basic church encodings
Church numerals, booleans and lists in JavaScript
Church encodings written in OCaml
No description provided.
Trying to do lambda calculus (church encoding) with elixir :)
Toy project to demo implementing addition and multiplication in TypeScript's type space.