#

church-encoding

Here are 29 public repositories matching this topic...

slovnicki / pLam

Star

An interpreter for learning and exploring pure λ-calculus

language programming-language lambda interpreter functional-programming lambda-calculus church church-encoding logic-programming numeral-systems computability-theory computability

Updated Apr 11, 2021
Haskell

benji6 / church

Star

⛪ Church Encoding in JS

haskell functional-programming lambda-calculus combinatory-logic church-encoding

Updated Jul 2, 2021
JavaScript

ljedrz / lambda_calculus

Star

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

rust lambda-functions lambda-calculus combinatory-logic church-encoding lambda-expressions lambda-interpreter rust-library debruijn ski-combinators beta-reduction reduction-strategies parigot-encoding scott-encoding embedded-iterators-encoding stump-fu-encoding

Updated Feb 9, 2021
Rust

terremoth / js-church-encoding

Star

Church Encoding Implementation in JavaScript

javascript encoding lambda js es6 lambda-calculus church church-encoding

Updated Aug 22, 2017
JavaScript

znamenica / bukovina

Star

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

ruby calendar church church-encoding calendar-events orthodox church-website

Updated Dec 31, 2017
Ruby

rootmos / silly-church

Star

A small example of a nanopass style compiler

scheme lambda-calculus church-encoding nanopass

Updated May 30, 2017
Scheme

3tty0n / church-scala

Star

An implementation of church encoding with Scala.

scala lambda-calculus church-encoding

Updated Mar 17, 2017
Scala

v-kolesnikov / untyped_lambda_calculus

Star

Simple untyped λάμδα calculus on Ruby

computer-science lambda-calculus church-encoding

Updated Jul 26, 2017
Ruby

f0rr0 / church-encoding

Star

⛪ Church encodings for JavaScript primitives

functional-programming lambda-calculus combinatory-logic church-encoding

Updated Jun 2, 2020
JavaScript

andrepoleza / church-encoding-clj

Star

Church Encoding implementation in Clojure

clojure functional-programming lambda-calculus church-encoding

Updated Feb 7, 2017
Clojure

ip6_lambda-calculus-in-js

mattwolf-corporation / ip6_lambda-calculus-in-js

Star

Lambda Kalkül für praktisches vanilla JavaScript - IP5 HS2019 / IP6 HS2020

javascript lambda immutable functional-programming lambda-calculus composition combinatory-logic church-encoding test-framework functional-js currying immutable-datastructures theory-of-computation

Updated May 16, 2021
JavaScript

Kamirus / purescript-functional-concepts

Star

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

church-encoding gadt higher-order-functions typeclasses exists tagless row-polymorphism leibniz-equality gadts eadt

Updated Jan 4, 2021
PureScript

ggandor / ChurchBuzz

Star

FizzBuzz implemented in Church encoding, from scratch.

computer-science clojure lambda-calculus church-encoding fizzbuzz understanding-computation

Updated Jan 22, 2021
Clojure

terremoth / php-church-encoding

Star

Church encoded numerical computations over lambda-calculus implemented in PHP

lambda functional-programming lambda-calculus church-encoding

Updated May 23, 2020
PHP

znamenica / hip-standard

Star

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

markup church-encoding markup-language standard hip orthodox slavic-languages church-slavic church-slavonic orthodoxy

Updated Apr 17, 2016

bd4sur / Brainfuck

Star

使用Racket实现的简单Brainfuck解释器。A simple Brainfuck interpreter written in Racket Scheme.

scheme interpreter racket brainfuck lambda-calculus church-encoding brainfuck-interpreter racket-scheme

Updated Nov 14, 2017
Racket

Aallam / kotlin-lambda-calculus

Star

Lambda Calculus (LC) playground using kotlin!

kotlin lambda-calculus church-encoding

Updated Aug 5, 2020
Kotlin

jdjkelly / church-ocaml

Star

Church encodings written in OCaml

ocaml lambda-calculus church ml church-encoding

Updated Feb 5, 2017
Standard ML

pjanczyk / church-encoding-js

Star

Church numerals, booleans and lists in JavaScript

church-encoding

Updated May 5, 2017
JavaScript

znamenica / hiptex

Star

hiptex project to allow constructing slavonic PDFs according HIP standard

tex church-encoding hip orthodox encoding-convertors slavic-languages church-slavic church-slavonic orthodoxy

Updated Aug 17, 2015
PostScript

linusboyle / church-cpp

Star

an implementation of basic church encodings

cpp church-encoding cpp17

Updated Dec 4, 2018
C++

ammartahir24 / CS-5616

Star

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.

rust scheme lambda-calculus prolog church-encoding programming-languages

Updated May 21, 2019
Prolog

lebashdev / typescript-church-numerals

Star

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

typescript types church-encoding

Updated Jun 27, 2021
TypeScript

loophp / church-encoding

Star

Church encoding in PHP

learning functional-programming church-encoding educational

Updated Jul 20, 2021
PHP

quildynamics / Tycoons

Star

church-encoding church-management

Updated Mar 6, 2017

mracos / elixir-lambda-calculus

Star

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

elixir lambda-calculus church-encoding

Updated Apr 3, 2018
Elixir

Drapegnik / rsschool-fp

Star

⚡ Functional Programming Course

haskell functional-programming lambda-calculus fp church-encoding rolling-scopes-school

Updated Oct 14, 2019
Haskell

alejogs4 / church-encoding-javascript

Star

Church encoding to represent typical programming structures on Javascript

javascript functional-programming lambda-calculus church-encoding

Updated May 23, 2019
JavaScript

znamenica / dneslov

Star

dneslov is a diary calendar containing the name of orthodox christian feasts and saints celebs

nodejs ruby rails babel js calendar reactjs church church-encoding calendar-events orthodox church-website slavic-languages church-sermons church-slavic church-slavonic church-software orthodoxy interslavic

Updated Jul 27, 2021
Ruby

Improve this page

Add a description, image, and links to the church-encoding topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the church-encoding topic, visit your repo's landing page and select "manage topics."