Jeffrey Mark Siskind's Software
The infrastructure you will need to install QobiScheme, Howard, Leonard, AMA, Ratio Cut, or LFG
QobiScheme: A library of useful Scheme procedures for Scheme->C
Stalin: An optimizing compiler for Scheme
Howard: Event classification from camera input using motion profile
Leonard: Event classification from camera input using force dynamics
AMA: Specific-to-general learning of temporal-logic formulas
Abigail: A computational model of visually-grounded lexical semantics
Ratio Cut: Image segmentation software
Screamer: Adds backtracking and constraints to Common Lisp
Partial: A partial evaluator for most of Common Lisp
LFG: A parser for an LFG-like grammar formalism
QobiTree: Typesets trees in LaTeX
ThirtyFive: Typesets 35mm slides in LaTeX
Screamer Tool Repository