
Agnostic Lizard is a portable implementation of a code walker, and in particular of the macroexpand-all function (and macro), which makes a best-effort to be correct, while not expecting much beyond what the Common Lisp standard requires.
It aims to be implementation-agnostic and to climb the syntax trees.