An interactive symbolic mathematics program. It can manipulate and simplify equations, scalars, vec...
A digital logic simulator written for the SCM Scheme implementation.
A portable Scheme library providing compatibility and utility functions for standard Scheme impleme...