A portable debugger for the Scheme language. It presents the user with an interactive interface that lets him or her examine and change values of variables, set breakpoints, and single step evaluation. Psd is designed to be run within GNU Emacs, which is used for displaying the current source code position.
A portable Scheme library providing compatibility and utility functions for standard Scheme implementations. By Audrey Jaffer, author of SCM.
A module proposal for Scheme by Audrey Jaffer.
A digital logic simulator written for the SCM Scheme implementation.
HITCH (HIghlighT CHanges) highlights changes between two sets of HTML pages in red. INFOBAR annotates changes between GNU Info files with change-bars.
An interactive symbolic mathematics program. It can manipulate and simplify equations, scalars, vectors, and matrices of single and multiple valued algebraic expressions containing numbers, variables, radicals, and algebraic differential, and holonomic functions.
A implementation for Scheme. Directed, acyclic graphs of nodes, which have properties, and can be used with XML or SGML.
A partial evaluator for a pure (side effect free) subset of Scheme, written primarily by Charles Consel. Some of its main features are polyvariant binding-time analysis, treatment of higher-order functions and partially static data structures, colored binding-time information based on GNU emacs (19.30 or later), and a binding-time inspector. The current version is 010 and requires an R4RS Scheme and the SLIB library.
A partial evaluation system for Scheme: Given a program P and a specification of which of the inputs are known in advance, PGG outputs a program generator which accepts the known inputs of P and outputs a specialized version of P. PGG is fully automatic and can process all valid Scheme programs.
A generator for LR(k) and SLR(k) parsers in Scheme. The generated parsers perform error recovery, and are highly efficient. They result from the general parser by an automatic program transformation called partial evaluation. This guarantees consistency and ensures correctness. However, no specific knowledge of partial evaluation is required to use Essence. From Michael Sperber [Mr. Preprocessor] and Peter Thiemann.
Computers /
Programming /
Languages /
Lisp /
Software
|