church-encoding
Here are 32 public repositories matching this topic...
Church encodings written in OCaml
-
Updated
Feb 5, 2017 - Standard ML
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.
-
Updated
May 21, 2019 - Prolog
Toy project to demo implementing addition and multiplication in TypeScript's type space.
-
Updated
Jun 27, 2021 - TypeScript
Perform computation using purely abstract λ-functions
-
Updated
Jul 7, 2024 - JavaScript
-
Updated
Mar 6, 2017
Trying to do lambda calculus (church encoding) with elixir :)
-
Updated
Apr 3, 2018 - Elixir
Church encoded numerical computations over lambda-calculus implemented in PHP
-
Updated
May 23, 2020 - PHP
hiptex project to allow constructing slavonic PDFs according HIP standard
-
Updated
Aug 17, 2015 - PostScript
Church encoding to represent typical programming structures on Javascript
-
Updated
May 23, 2019 - JavaScript
⚡ Functional Programming Course
-
Updated
Oct 14, 2019 - Haskell
Зде расположен стандарт hip, применяемый для хранения и набора текстов в ц-с и греческом правописании, а также дополнения к нему.
-
Updated
Dec 24, 2022
FizzBuzz implemented in Church encoding, from scratch
-
Updated
Jan 22, 2021 - Clojure
Church Encoding implementation in Clojure
-
Updated
Feb 7, 2017 - Clojure
dneslov is a diary calendar containing the name of orthodox christian feasts and saints celebs
-
Updated
May 16, 2024 - Ruby
Elaborated examples concerning functional concepts e.g. gadt, eadt, church encodings
-
Updated
Jan 4, 2021 - PureScript
Simple untyped λάμδα calculus on Ruby
-
Updated
Jul 26, 2017 - Ruby
Church encoding in PHP
-
Updated
Jul 21, 2024 - PHP
An implementation of church encoding with Scala.
-
Updated
Mar 17, 2017 - Scala
Improve this page
Add a description, image, and links to the church-encoding topic page so that developers can more easily learn about it.
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."