Andreas Abel's Shared Stuff

Here is some miscellaneous stuff you might find useful.

Travel information

How to get here, to the Institut für Informatik.

The fifTeen Puzzle.
This is a fun JAVA applet implementing the wellknown game.

Converting Mozilla Address Book into Pine Format.
Provides a step by step description plus an awk script which does the main work.

Converting a .bib file to .bbl format (New!).
Consists of a little awk and a little shell script.

Convert a Haskell data type declaration into a Java class hierarchy (New!).
Functional algebraic data types can be simulated using immutable Java classes. Such data types are neat for representing abstract syntax, e.g., as in Andrew Appel's, Modern Compiler Implementation in Java. This little Haskell program parses a Haskell data declaration and outputs a number of Java class files which implement this data type.

Emacs quickstart.
A short introduction into Emacs.

Instructions for some software packets at the chair for TCS.
Actually, there is only a description for Twelf so far. Hans-Wolfgang Loidl maintains a large collection.

Private Addresses of TCS group members (password protected access).
Private Addresses of TCS group members (local access).

Die angeleinte Ziege auf der kreisrunden Wiese. Ein kleines Problem aus der Trigonometrie.