x86 C compiler written in untyped lambda calculus
-
Updated
Oct 7, 2022 - Common Lisp
#
heltc
Here are 31 public repositories matching this topic...
A programmable virtual CPU written in untyped lambda calculus
-
Updated
Oct 20, 2022 - Common Lisp
The home of the Glamorous Glambda interpreter
-
Updated
Mar 14, 2019 - Haskell
Tinkering with Lambda Calculus (Binary representations, DeBruijn indices, Automatic Church encoding)
-
Updated
Dec 30, 2021 - Haskell
writeups from the book of the same name
-
Updated
Apr 22, 2019 - Haskell
interpreter for an untyped lambda calculus without the y-combinator
-
Updated
Nov 26, 2019 - Haskell
Implementation of the Lazy K functional programming language for the Propeller
-
Updated
Feb 25, 2015 - Scheme
"DeBruijn to SKI" Untyped language that compiles to Unlambda
-
Updated
Dec 11, 2020 - Haskell
λλλλ Lennart Augustsson's λ-calculus cooked four ways
-
Updated
Apr 23, 2017 - Haskell
Haskell interpreted as λ-calculus, in Haskell.
-
Updated
Jul 19, 2021 - Haskell
Add this topic to your repo
To associate your repository with the heltc topic, visit your repo's landing page and select "manage topics."