Calling Mathematica from PLT Scheme, so you get access to the symbolic computation and graphics library from Mathematica in Scheme.
I have translated ``How to Design Program'' into simplified Chinese. It is available here.
This SRFI proposes an extension to the case syntax
to allow the => clauses as in cond.
My other SRFI work can be found here,
here, and
here.
I'm currently working on a Standard ML implementation inside PLT Scheme. It allows full interoperation between the two langauges.