ski-combinator-calculus topic

List ski-combinator-calculus repositories

lambda-8cc

614
Stars
16
Forks
Watchers

x86 C compiler written in untyped lambda calculus

verified publisher icon woodrush

ski

50
Stars
1
Forks
Watchers

SKI combinators

verified publisher icon ngzhian

chemski

15
Stars
2
Forks
Watchers

Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.

verified publisher icon mbuliga