secd topic

List secd repositories

Krivine-Machine

38
Stars
3
Forks
Watchers

Abstract krivine machine implementing call-by-name semantics. In OCaml.

verified publisher icon techcentaur

SECD

42
Stars
6
Forks
Watchers

Scheme on SECD

verified publisher icon EarlGray

lispkit

48
Stars
8
Forks
Watchers

FUNCTIONAL PROGRAMMING: Application and Implementation, Peter Henderson, ISBN 0-13-331579-7

verified publisher icon carld

seax

45
Stars
5
Forks
Watchers

A VM-based runtime environment for functional programming languages

verified publisher icon hawkw