lambda-calculus
Here are 618 public repositories matching this topic...
Lambda Interpreter Implemented In haskell
-
Updated
Nov 8, 2017 - Haskell
[WIP] A series of tutorials for lambda calculus
-
Updated
Oct 5, 2023 - OCaml
Lambda calculus interpreter
-
Updated
Aug 20, 2017 - C++
PCF with Hindley-Milner type inference.
-
Updated
Dec 14, 2017 - Haskell
A type inference algorithm for SystemF/polymorphic lambda calculus (undecidable problem) and an experimental playground for methods based on the higher-order unification for type inference and type checking of formal systems defined by the lambda cube concept.
-
Updated
Aug 17, 2023 - Haskell
Different implementations of the Y-Combinator in modern programming languages
-
Updated
Dec 26, 2023 - Erlang
[
-
Updated
May 24, 2024 - Erlang
A game of untyped lambda calculus based on http://worrydream.com/AlligatorEggs/
-
Updated
Oct 3, 2020 - JavaScript
Church encodings written in OCaml
-
Updated
Feb 5, 2017 - Standard ML
-
Updated
Sep 2, 2018 - Haskell
Haskell implementation of the Lambda Calculus
-
Updated
May 12, 2019 - Haskell
-
Updated
Aug 11, 2020 - TeX
Repo for working though ideas from "Lambda-Calculus and Combinators" by Hindley and Seldin.
-
Updated
Mar 19, 2020 - Haskell
Naive implementation of Lambda Calculus on TypeScript type level.
-
Updated
Jun 2, 2023 - TypeScript
SPCF: Interpreter Development and Affine Program Transformation Showcase
-
Updated
May 3, 2024 - Haskell
-
Updated
Jun 25, 2016 - Haskell
Simple lambda calculus language with type inference
-
Updated
Feb 13, 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."