|
autolat
|
Johannes Waldmann
|
| the OLAT side of the autotool/OLAT connection,
including bugs in the client and in the communication
(but not semantics bugs on the server side -
file these for the "autotool" component)
|
|
AutoLib
|
Johannes Waldmann
|
| a collection of modules related to formatted input and output and finite (word and tree) automata
|
|
autotool
|
Johannes Waldmann
|
| a (CGI) program for checking student exercises in theoretical computer science
|
|
Matchbox
|
Johannes Waldmann
|
| a program for match-bounded string and term rewriting
|