47 Open source projects that are alternatives of or similar to lambda-calculus

Formalization of the polymorphic lambda calculus and its parametricity theorem

Lecture note on Lambda Calculus and Types for FLOLAC

An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types

Macro Lambda Calculus

Minimalistic dependent type theory with syntactic metaprogramming

A universe of scope- and type-safe syntaxes (syntices?). Includes generic implementation of type-preserving renaming/substitution with all the proofs you could possibly need.

An inference engine for extensional untyped λ-calculus

Lambda Notebook: Formal Semantics in Jupyter

An interactive theorem prover based on lambda-tree syntax

Book: Gentle Introduction to Dependent Types with Idris

A minimalist pure lazy functional programming language

Church Encoding Implementation in JavaScript

Bologna Optimal Higher-Order Machine, Version 1.1

Efficient and single-steppable ULC evaluation algorithm

Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism

Elsa is a lambda calculus evaluator

A modern proof language

Coq formalizations of functional languages.

🐦 Some combinators

🍱 Y Combinator for Non-programmers: A Wild Introduction to Computer Science

⛪️ Church Encoding in JS

An implementation of the Formality language in JavaScript

Fun with λ calculus!

(λ) Educational lambda calculus interpreter

A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust

implementation of Pure Type Systems (PTS) in Rust.

λtext - higher-order file applicator

A statically-typed strictly-evaluated garbage-collected readable programming language.

Formalisation of the linear lambda calculus in Coq

Some incremental examples suitable to host an AWS Lambda Functions workshop

A library for functional programming in Rust

Canonical sources for HOL4 theorem-proving system. Branch `develop` is where “mainline development” occurs; when `develop` passes our regression tests, `master` is merged forward to catch up.

An interpreter for learning and exploring pure λ-calculus

十分钟魔法练习

A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS

🔮 Estudos obscuros de programação funcional

Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

Fine-grain implementations of common lambda calculi in Haskell, tested with QuickCheck

Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!

⛓️ Blockchain + Smart contracts from scratch

Lambda calculus go brrrr

Implementation of the Fibonacci sequence in JS using pure Lambda Calculus

Abstract krivine machine implementing call-by-name semantics. In OCaml.

The compilation target that functional programmers always wanted.

lambda calculus interpreter

An Android app that provides a visual interface for creating and evaluating lambda calculus expressions