Streme is a "stream" of Scheme-inspired tools and languages built upon the same infrastructure.

At its core are several evaluators.

• Trampolined ANF Evaluator

Concurrent Scheme interpreter that performs ANF conversion and was the original platform for experimenting with automatic parallelization.

• proto-Beaver

Scheme language with 2-3 fingertrees.

• ND-Scheme

Non-deterministic Scheme that allows querying dependency relations that occur in Scheme programs.

These evaluators make use of analyses that provide them with the necessary information.

• Interprocedural Dependence Analysis

Control flow, value flow and dependence analysis for higher-order side-effecting programs.