An autoprojector (self-applicable partial evaluator) for a higher order subset of the strict functional language Scheme. Similix handles programs with user defined primitive abstract data type operators which may process global variables (such as input/output operators).

Version 5.0.

Anders Bondorf <>

conformance: extension of large subset of R4RS Scheme.

requires: Scheme

ports: Scm, Chez Scheme

portability: high

E-mail: Anders Bondorf <>