lambda-calculus topic

List lambda-calculus repositories

lambdalab

35
Stars
3
Forks
Watchers

interactive λ-calculus for learning

verified publisher icon cucapra

ski

50
Stars
1
Forks
Watchers

SKI combinators

verified publisher icon ngzhian

StepULC

15
Stars
1
Forks
Watchers

Efficient and single-steppable ULC evaluation algorithm

verified publisher icon Bubbler-4

pomagma

17
Stars
2
Forks
Watchers

An inference engine for extensional untyped λ-calculus

verified publisher icon fritzo

lambda

41
Stars
5
Forks
Watchers

lambda calculus interpreter

verified publisher icon zhiayang

ace

47
Stars
2
Forks
Watchers

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

verified publisher icon wbbradley

Formality-Core

38
Stars
11
Forks
Watchers

Specification of the Formality proof and programming language

verified publisher icon Soonad

typed-calc

34
Stars
3
Forks
Watchers

Interpreter for simply typed lambda calculus implemented in JavaScript λ

verified publisher icon mgechev

birb

79
Stars
4
Forks
Watchers

:bird: *cheep cheep shriek caw*

verified publisher icon marvinborner

bruijn

86
Stars
0
Forks
Watchers

:abacus: Programming with pure lambda calculus

verified publisher icon marvinborner