GitHub repository: FemtoEmacs/wamcompiler
Primary language: Common Lisp
Description: Prolog implementation based on Warren's abstract machine