Surf these sites: Envision -- Envision is an extension of the Scheme programming language to support research in computer vision. There is a comprehensive description and some propaganda available at the Envision web site. Essence -- Essence is 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. Grover, a Groves Implementation for Scheme -- Groves are directed, acyclic graphs of nodes, which have properties, and can be used with XML or SGML. HITCH and INFOBAR -- HITCH (HIghlighT CHanges) highlights changes between two sets of HTML pages in red. INFOBAR annotates changes between GNU Info files with change-bars. JACAL -- JACAL is an interactive symbolic mathematics program. JACAL 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. ModuLite -- A module proposal for Scheme by Audrey Jaffer. Psd - a Portable Scheme Debugger -- Psd is 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. SIMSYNCH -- A digital logic simulator written for the SCM Scheme implementation. SLIB -- SLIB is a portable Scheme library providing compatibility and utility functions for standard Scheme implementations. By Audrey Jaffer, author of SCM. SU Net for scsh -- The SU Net package for scsh is a collection of libraries for common internet protocols for the scsh Scheme Shell. Schelog -- Schelog is an embedding of Prolog-style logic programming in Scheme. ``Embedding'''' means you don''t lose Scheme: You can use Prolog-style and conventional Scheme code fragments alongside each other. Schism -- Schism is 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. Similix -- Similix is an autoprojector (self-applicable partial evaluator) for a large higher-order subset of the strict functional language Scheme, written by the Similix Group of DIKU. Similix treats source programs that use a limited class of side-effects, for instance input/output operations. The current version is 5.1. Similix 5.1 is also bundled with the Simu system written by Liping Zong; an X windows interface to Similix. The Program Generator Generator -- The PGG system is a partial evaluation system for Scheme by Peter Thiemann. It implements program specialization in the following sense: Given a program P and a specification which of the inputs are known in advance, PGG constructs 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. The Scheme Configurable (Constraints?) Window Manager -- A highly configurable X window manager written and configurable with Guile Scheme. An absolute must for any hardcore Schemer who uses X Windows. Now at version 0.99.5.1 with Gnome support, a CORBA interface, a complex constraint system for pseudointelligent window placement and management, extremely flexible decoration configurability, and a GUI configuration interface for non-Scheme hackers, plus an assortment of decoration themes.
Help build the largest human-edited
directory on the web.