lambda-calculus
Here are 618 public repositories matching this topic...
Simple implementation of ST LC type checker in Haskell
-
Updated
Apr 18, 2022 - Haskell
Python version of 《Understanding Computation: From Simple Machines to Impossible Programs》
-
Updated
Jul 14, 2017 - Python
Lambda Interpreter Implemented In haskell
-
Updated
Nov 8, 2017 - Haskell
Interactive theorem proving in ELPI
-
Updated
Nov 27, 2018
Experiments with lambda calculus
-
Updated
Feb 2, 2019 - JavaScript
Implementation of a CEK machine
-
Updated
Mar 10, 2019 - OCaml
A tiny toy language for experimentation
-
Updated
Sep 5, 2019 - D
Website to work with lambda calculus
-
Updated
Jul 10, 2021 - JavaScript
Write Haskell style lambda expression in F#, `\` instead of `fun `
-
Updated
Jan 11, 2023 - TypeScript
[WIP] A series of tutorials for lambda calculus
-
Updated
Oct 5, 2023 - OCaml
λ Material de estudo que criei sobre lambdas em Java λ
-
Updated
Sep 24, 2022 - Java
Implementation of untyped and simply typed lambda calculus with support for parsing, printing and evaluation.
-
Updated
Oct 8, 2018 - Java
Lambda calculus interpreter
-
Updated
Aug 20, 2017 - C++
PCF with Hindley-Milner type inference.
-
Updated
Dec 14, 2017 - Haskell
Improve this page
Add a description, image, and links to the lambda-calculus topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the lambda-calculus topic, visit your repo's landing page and select "manage topics."