GitHub topics: church-encoding
marvinborner/bruijn
:abacus: Programming with pure lambda calculus
Language: Haskell - Size: 1.41 MB - Last synced at: 7 days ago - Pushed at: 8 days ago - Stars: 105 - Forks: 0
benji6/church
:church: Church Encoding in JS
Language: JavaScript - Size: 1.44 MB - Last synced at: 22 days ago - Pushed at: 22 days ago - Stars: 127 - Forks: 10
slovnicki/pLam
An interpreter for learning and exploring pure λ-calculus
Language: Haskell - Size: 1.1 MB - Last synced at: 20 days ago - Pushed at: about 4 years ago - Stars: 452 - Forks: 17
aallam/kotlin-lambda-calculus
Lambda Calculus (LC) playground using kotlin!
Language: Kotlin - Size: 65.4 KB - Last synced at: 18 days ago - Pushed at: over 4 years ago - Stars: 6 - Forks: 0
mtumilowicz/scala-cats-free-monad-workshop
Introduction into functional programming free structures: free monads, free monoids, free applicatives.
Language: Scala - Size: 87.9 KB - Last synced at: 10 days ago - Pushed at: over 2 years ago - Stars: 6 - Forks: 2
ewdlop/AutomataTheory
Language: Python - Size: 14.7 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0
terremoth/js-church-encoding
Church Encoding Implementation in JavaScript
Language: JavaScript - Size: 16.6 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 35 - Forks: 3
ljedrz/lambda_calculus
A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
Language: Rust - Size: 652 KB - Last synced at: 6 months ago - Pushed at: 9 months ago - Stars: 113 - Forks: 10
Kamirus/purescript-functional-concepts
Elaborated examples concerning functional concepts e.g. gadt, eadt, church encodings
Language: PureScript - Size: 32.2 KB - Last synced at: 18 days ago - Pushed at: 6 months ago - Stars: 5 - Forks: 1
loophp/church-encoding
Church encoding in PHP
Language: PHP - Size: 93.8 KB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 4 - Forks: 0
rootmos/silly-church
A small example of a nanopass style compiler
Language: Scheme - Size: 3.91 KB - Last synced at: about 1 month ago - Pushed at: 7 months ago - Stars: 8 - Forks: 1
michael-0acf4/lambda-calculus 📦
Perform computation using purely abstract λ-functions
Language: JavaScript - Size: 4.88 KB - Last synced at: 8 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0
ggandor/ChurchBuzz
FizzBuzz implemented in Church encoding, from scratch
Language: Clojure - Size: 6.84 KB - Last synced at: about 1 month ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 0
flandrade/lambda-calculus-haskell
The λ-calculus in Haskell
Language: Haskell - Size: 15.6 KB - Last synced at: 18 days ago - Pushed at: almost 2 years ago - Stars: 4 - Forks: 0
znamenica/dneslov
dneslov is a diary calendar containing the name of orthodox christian feasts and saints celebs
Language: Ruby - Size: 6.29 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 3 - Forks: 4
jdjkelly/church-ocaml
Church encodings written in OCaml
Language: Standard ML - Size: 235 KB - Last synced at: about 1 year ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 1
znamenica/bukovina 📦
Bukovina is the Orthodox Christian God-service library. UNMAINTAINED. See the nearby project "dneslov" and the website
Language: Ruby - Size: 33 MB - Last synced at: about 1 year ago - Pushed at: over 7 years ago - Stars: 8 - Forks: 0
f0rr0/church-encoding
⛪ Church encodings for JavaScript primitives
Language: JavaScript - Size: 1.82 MB - Last synced at: 6 days ago - Pushed at: almost 5 years ago - Stars: 4 - Forks: 0
znamenica/hip-standard
Зде расположен стандарт hip, применяемый для хранения и набора текстов в ц-с и греческом правописании, а также дополнения к нему.
Size: 62.5 KB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0
Drapegnik/rsschool-fp
:zap: Functional Programming Course
Language: Haskell - Size: 23.4 KB - Last synced at: 20 days ago - Pushed at: over 5 years ago - Stars: 2 - Forks: 0
znamenica/hiptex
hiptex project to allow constructing slavonic PDFs according HIP standard
Language: PostScript - Size: 1.38 MB - Last synced at: about 1 year ago - Pushed at: over 9 years ago - Stars: 1 - Forks: 0
alejogs4/church-encoding-javascript
Church encoding to represent typical programming structures on Javascript
Language: JavaScript - Size: 1.95 KB - Last synced at: about 2 months ago - Pushed at: almost 6 years ago - Stars: 1 - Forks: 0
mattwolf-corporation/lambda-calculus-in-js
Lambda Kalkül für praktisches vanilla JavaScript - IP5 HS2019 / IP6 HS2020
Language: JavaScript - Size: 1.88 MB - Last synced at: 14 days ago - Pushed at: over 2 years ago - Stars: 5 - Forks: 1
andrepoleza/church-encoding-clj
Church Encoding implementation in Clojure
Language: Clojure - Size: 22.5 KB - Last synced at: about 2 months ago - Pushed at: about 8 years ago - Stars: 3 - Forks: 0
3tty0n/church-scala
An implementation of church encoding with Scala.
Language: Scala - Size: 4.88 KB - Last synced at: about 2 months ago - Pushed at: about 8 years ago - Stars: 4 - Forks: 0
terremoth/php-church-encoding Fork of haskellcamargo/php-church-encoding
Church encoded numerical computations over lambda-calculus implemented in PHP
Language: PHP - Size: 11.7 KB - Last synced at: about 2 years ago - Pushed at: almost 5 years ago - Stars: 1 - Forks: 0
v-kolesnikov/untyped_lambda_calculus
Simple untyped λάμδα calculus on Ruby
Language: Ruby - Size: 13.7 KB - Last synced at: 3 days ago - Pushed at: over 7 years ago - Stars: 4 - Forks: 1
linusboyle/church-cpp
an implementation of basic church encodings
Language: C++ - Size: 20.5 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0
ammartahir24/CS-5616
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.
Language: Prolog - Size: 11.7 KB - Last synced at: about 2 years ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0
mracos/elixir-lambda-calculus
Trying to do lambda calculus (church encoding) with elixir :)
Language: Elixir - Size: 4.88 KB - Last synced at: about 17 hours ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0
pjanczyk/church-encoding-js
Church numerals, booleans and lists in JavaScript
Language: JavaScript - Size: 2.93 KB - Last synced at: about 2 years ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0
