QStream is another simple, pragmatic, and usable tool for computation of coinductively defined streams, featuring integration with the Online Encyclopedia of Integer Sequences.
QStream 0.1 (.tar.gz) (release date 2013-04-15)
For comments, e-mail to <winter@cwi.nl>.