lambda-calculus topic

List lambda-calculus repositories

malc

83
Stars
11
Forks
Watchers

Make a lambda calculus.

verified publisher icon sjsyrek

mikrokosmos

70
Stars
7
Forks
Watchers

(λ) Educational lambda calculus interpreter

verified publisher icon mroman42

lambda

88
Stars
7
Forks
Watchers

Fun with λ calculus!

verified publisher icon gtramontina

python-lambda-calculus

75
Stars
7
Forks
Watchers

Lambda Calculus things implemented on Python

verified publisher icon orsinium-labs

abella

88
Stars
17
Forks
Watchers

An interactive theorem prover based on lambda-tree syntax

verified publisher icon abella-prover

Formality-JavaScript

72
Stars
4
Forks
Watchers

An implementation of the Formality language in JavaScript

verified publisher icon moonad-archive

lambda-diagrams

84
Stars
5
Forks
Watchers

Animations of lambda term reduction sequences

verified publisher icon polux

lambda-calculus

88
Stars
15
Forks
Watchers

An introduction to the Lambda Calculus

verified publisher icon sgillespie

lambda-ski

28
Stars
1
Forks
Watchers

Implementing a small functional language with a combinator based graph-reduction machine

verified publisher icon thma

ATS-blockchain

20
Stars
2
Forks
Watchers

⛓️ Blockchain + Smart contracts from scratch

verified publisher icon gallettilance