Scheme Projects

Until now I haven't seen the computer language Scheme used outside of university, though this is rather a pity since there are some really neat things about it, e.g. the thorough implementation of the lambda-calculous, true inclusion polymorphism, provability etc.
I rarely use Scheme which is why only programs that were written for university purposes can be found here.