| 
| 
 Projects | 
	
 | 
|   | 
  | 
CEC: The Columbia Esterel Compiler.
 | 
|   | 
  | 
The Estbench Esterel Benchmark Suite,
a collection of Esterel programs intended for comparing Esterel compilers.
 | 
|   | 
  | 
TAXI: Software for portable device
drivers. A very preliminary release that only implements the null driver.
 | 
|   | 
  | 
ESUIF: An Esterel compiler
infrastructure based on the SUIF 2 system.  Development on this has
ceased and moved to cec because SUIF now refuses to compile.
 | 
|   | 
  | 
ic2dot: A simple translator that
generates a graphical representation of an Esterel IC file.  Requires
java,
the ANTLR parser generator, and the
dot graph visualization program.
 | 
 | 
| 
 Old Projects | 
	
 | 
|   | 
    | 
cce 0.2: a system for automatically
    generating HTML documentation from C++ source code. ca. 1997
 | 
|   | 
    | 
ext 1.3: a system for automatically
    generating HTML documentation from C source code. ca. 1996
 | 
|   | 
   
    
      | 
sc 1.0: A graphical hierarchical
    state machine editor written using a very old version of
    [incr Tcl]. ca. 1995.
 | 
|   | 
  | 
states 1.1: a graphical state machine editor written with Tcl
    7.5/Tk 4.1. ca. 1994
 | 
|   | 
  | 
est 01: An experimental, buggy compiler for the Esterel
    synchronous language written for my Masters project.  C++ source
    that ran under SunOS 4.1.  Probably will not compile now.
    1994.  
    The wristwatch example
 | 
|   | 
    | 
A
    digital video processor: my senior project at Caltech, Pasadena,
    1992.  Software is 56001 assembly code guaranteed not to work on
    your hardware.
 | 
 | 
| 
 Digital Incunabula | 
	
 | 
|   | 
  | 
An ASCII graphic of the USS Enterprise.
  Probably already fairly old when I first saw it on the CDC
  6400-based (?) MERITSS timesharing system ca. 1981.  Best printed on
  a model ASR33 Teletype.
 | 
|   | 
  | 
An ASCII graphic of Snoopy
  punting a football.  I first saw this in 1981.
 | 
|   | 
  | 
An ASCII graphic of Snoopy
  dancing and smiling. I first saw this in 1981.
 | 
 | 
| 
 Ports | 
	
 | 
|   | 
  | 
RPM for the xstools, ported to Unix, supports the XSB-300E board (binary i386).
 | 
|   | 
  | 
source RPM for the xstools, ported to Unix, supports the XSB-300E board.  Originally from the XESS corporation
 |