Explore projects

Scripts to support Zabbix-monitored hosts (most of these are Linux-specific)

Yet another LPO/KBO-based termination tool written in Haskell.

Yet another maximal completion tool written in Haskell.

Yet another completion tool written in Haskell.

Exhange or offer your Flat [Moved by Admin 2021-08-18]

Generating programs in the while-language from input/output-data using genetic programming.

[Moved by Admin 2021-08-18]