thaw-interpreter
Programming language interpreters, including LISP, Scheme, and Prolog.
thaw-grammar
Implementations of the grammars of several programming languages, including LISP, Scheme, Prolog, and the Lambda Calculus.
prologjs
Tiny Prolog interpreter (< 80 LoC)