Difference between revisions of "Downloads"

From Wiki**3

(New page: The following are some packages and files that someone sometime thought useful. Use at your own risk and, if you feel like it, let me know. == Thesis Style == Includes: tables of content...)
 
(LaTeX Style for Theses)
 
(15 intermediate revisions by the same user not shown)
Line 1: Line 1:
The following are some packages and files that someone sometime thought useful.
+
Use at your own risk and, if you feel you like them, please let me know.
Use at your own risk and, if you feel like it, let me know.
 
  
== Thesis Style ==
+
== LaTeX Style for Theses ==
  
Includes: tables of contents, figures, and tables; bibliography, glossary, author index, index.
+
The following is a set of files for formatting theses.<br/>
Has large light-blue Euler numbering for chapters.
+
Includes: tables of contents, figures, and tables; bibliography, glossary, author index, index.<br/>
 +
Has large light-blue Euler (the font) numbering for chapters and other features.
  
These are "Lore Ipsum" applications for PhD theses - format for IST (valid up to 2005: easily adapted)
+
Versions for Técnico (easily adapted) (up to date in 2021): https://gitlab.hlt.inesc-id.pt/david/dett (MSc, PhD and CAT report)
* [English]
+
 
* [Portuguese]
+
== Compiler Development Kit ==
 +
 
 +
The following is a C++ framework for compiler development.<br/>
 +
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)
 +
 
 +
[[en:Downloads]]

Latest revision as of 12:23, 15 June 2021

Use at your own risk and, if you feel you like them, please 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 (the font) numbering for chapters and other features.

Versions for Técnico (easily adapted) (up to date in 2021): https://gitlab.hlt.inesc-id.pt/david/dett (MSc, PhD and CAT report)

Compiler Development Kit

The following is a C++ framework for compiler development.
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)