GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → sgillespie → lambda-calculus

sgillespie / lambda-calculus

Licence: MIT license
An introduction to the Lambda Calculus

Labels

lambda-calculussystem-f

Projects that are alternatives of or similar to lambda-calculus

system-F
Formalization of the polymorphic lambda calculus and its parametricity theorem
Stars: ✭ 20 (-66.1%)
Mutual labels:  lambda-calculus, system-f
Type-Theory
Lecture note on Lambda Calculus and Types for FLOLAC
Stars: ✭ 26 (-55.93%)
Mutual labels:  lambda-calculus, system-f
vanilla-lang
An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types
Stars: ✭ 73 (+23.73%)
Mutual labels:  lambda-calculus, system-f
Church
⛪️ Church Encoding in JS
Stars: ✭ 107 (+81.36%)
Mutual labels:  lambda-calculus
Combinators Js
🐦 Some combinators
Stars: ✭ 114 (+93.22%)
Mutual labels:  lambda-calculus
lambda-zero
A minimalist pure lazy functional programming language
Stars: ✭ 65 (+10.17%)
Mutual labels:  lambda-calculus
Lambda
Fun with λ calculus!
Stars: ✭ 65 (+10.17%)
Mutual labels:  lambda-calculus
pomagma
An inference engine for extensional untyped λ-calculus
Stars: ✭ 15 (-74.58%)
Mutual labels:  lambda-calculus
BOHM1.1
Bologna Optimal Higher-Order Machine, Version 1.1
Stars: ✭ 45 (-23.73%)
Mutual labels:  lambda-calculus
StepULC
Efficient and single-steppable ULC evaluation algorithm
Stars: ✭ 15 (-74.58%)
Mutual labels:  lambda-calculus
lambda-notebook
Lambda Notebook: Formal Semantics in Jupyter
Stars: ✭ 16 (-72.88%)
Mutual labels:  lambda-calculus
Curryhoward
Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
Stars: ✭ 229 (+288.14%)
Mutual labels:  lambda-calculus
Iron
Coq formalizations of functional languages.
Stars: ✭ 114 (+93.22%)
Mutual labels:  lambda-calculus
gidti
Book: Gentle Introduction to Dependent Types with Idris
Stars: ✭ 70 (+18.64%)
Mutual labels:  lambda-calculus
Y Combinator For Non Programmers
🍱 Y Combinator for Non-programmers: A Wild Introduction to Computer Science
Stars: ✭ 109 (+84.75%)
Mutual labels:  lambda-calculus
universe-of-syntax
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.
Stars: ✭ 16 (-72.88%)
Mutual labels:  lambda-calculus
Formality Javascript
An implementation of the Formality language in JavaScript
Stars: ✭ 71 (+20.34%)
Mutual labels:  lambda-calculus
Elsa
Elsa is a lambda calculus evaluator
Stars: ✭ 135 (+128.81%)
Mutual labels:  lambda-calculus
js-church-encoding
Church Encoding Implementation in JavaScript
Stars: ✭ 33 (-44.07%)
Mutual labels:  lambda-calculus
lambda
Macro Lambda Calculus
Stars: ✭ 38 (-35.59%)
Mutual labels:  lambda-calculus
View All Similar Projects ➔

Lambda Calculus

An introduction to the Lambda Calculus

Lambda Calculus is a tiny functional language for expressing computation based on function abstraction and application.

This project is intended to be an educational resource for learning and implementing functional programming languages.

Looking for Lambda Calculator? It's been moved to sgillespie/lambda-calculator

Introduction to Lambda Calculus

Introductory material is provided. They can be found at

Extended Examples

More examples can be found in the Lambda Calculator's test-suite, located at

test/Language/Lambda/Untyped/Examples

Implementation

A simple implementation of lambda calculus is available at https://github.com/sgillespie/lambda-calculator. It is intended be used as a companion to the materials here.

Author

Sean Gillespie [email protected]

License

This project is licensed under the MIT License. See LICENSE

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].