|
Auto*:
|
The Auto* Software Collection
(Autolib, Autotool, Matchbox)
See http://141.57.11.163/auto/ |
|
havannah:
|
Program(s) for the board game Havannah |
|
Jambox:
|
finds proofs of termination of string rewriting
via RFC match bounds |
|
Lehre Sommersemester 05:
|
Lehrveranstaltungen (Vorlesung, Übung, Skript) |
|
live‑sequencer:
|
Change a textual musical score while it is being played. |
|
satchmo:
|
Encoding for boolean and integral constraints into CNF-SAT. |
|
TPDB format:
|
collect (and clarify) unspecified syntax and semantics
in current TPDB format, see
http://www.lri.fr/%7Emarche/tpdb/format.html |
|
websrs:
|
online interface to database
of hard termination problems |
| |