combinatory-logic topic

List combinatory-logic repositories

lambda_calculus

98
Stars
10
Forks
Watchers

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

lambda-talk

495
Stars
42
Forks
Watchers

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

mini-haskell

70
Stars
5
Forks
Watchers

A self-hosting mini Haskell compiler with a mini C runtime.

lambda-ski

29
Stars
1
Forks
Watchers

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

esoo

26
Stars
1
Forks
Watchers

Like the Programming Languages Zoo but with esoteric languages.

birb

79
Stars
4
Forks
Watchers

:bird: *cheep cheep shriek caw*

bruijn

73
Stars
0
Forks
Watchers

:abacus: Programming with pure lambda calculus