There are 0 repository under self-interpreter topic.
Runtime self-interpreter for GameMaker Language.
A deBruijn implementation of the untyped lambda calculus implementation focused on equivalence proofs, a self-interpreter, and a verified compiler to SK