An experimental hygienic macro and module system for Scheme. Among other novel features, it eliminates a large class of
possible capture problems that are often overlooked in existing hygienic procedural macro systems. In addition, it implements a convenient
module system.

A manual, formal specification and portable implementation can be found
here. A few simple
examples are documented at simpler-macros-examples.