Elispの再実装

Emacsは、事実上の参照実装として機能するCのelispのインタープリターを実装します。他の言語（特にJavascript）でのelispの他の実装はありますか？elispを完全に再実装するために必要なプリミティブの最小セットは何ですか？そうすることの本質的な困難は何ですか（例：動的スコープ）。

Guile Emacsは、元のEmacs Lispインタープリターがlibguileに最近置き換えられたEmacs実装です。相互運用上の問題はまだありますが（たとえば、GuileとEmacsは文字列について異なる考えを持っています）、既存のEmacs Lispコードは既に使用できます（ただし、パフォーマンスをかなり脅かす）。

あるいは、nicferrierのEjitがあります。そのREADMEには、Emacsでコンテキストを作成する特定のものや、Emacs LispをJavascriptにコンパイルする前にプリミティブの最小セットを選択する方法など、関連する困難が記載されています。したがって、実際には再実装ではありませんが、後者の質問に答えるのに役立つ場合があります。