Downloads

Use at your own risk and, if you feel like them, let me know.

LaTeX Style for Theses

The following is a set of files for formatting theses.
Includes: tables of contents, figures, and tables; bibliography, glossary, author index, index.
Has large light-blue Euler numbering for chapters.

These are "Lore Ipsum" applications for PhD theses - format for IST (valid up to 2005: easily adapted)

• PhD @ IST: LaTeX + PostScript version (version 200705241539)
• [Portuguese]

Compiler Development Kit

The following is a set of C++ classes for developing simple OO compilers.
It has been used for teaching Compilers courses at IST. The use of design patterns simplifies understanding of the overall structure and allows students to concentrate on the specific problems of language processing.

• [libcdk] (toolkit)
• [Compact] (simple compiler based on libcdk)