Explore projects

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

[Moved by Admin 2021-08-18]

A system to allow users to easily maintain, distribute, and switch between different HOME environments.

A project to provide proxy-autodetection to work for UNIX systems wishing to connect to the Internet, but not via a user's browser or via any dependencies on ECMAScript (ie, JavaScript).

mC Compiler Getting Started Code-Base

mC Compiler Getting Started Code-Base

A tool performing AC-completion for left-linear TRSs written in Haskell.

This solves colorable maps like e.g in the bonus exercise of Week 04 (SS2023) in PS Logic.

Repository for the Semantic Web project

Exercises for the high-performance-computing course

elabftw in a docker container

Presentation on BBC Micro:Bit