Very cool! The examples on this page are Scheme implementations of the Examples section of his 2003 paper[0] linked on the page. He goes over the derivation of the programs for these examples in more detail in the paper.

[0]: https://arxiv.org/pdf/quant-ph/0307150.pdf