Explore projects

Memory Model Mapper

A compiler for documents in the hybrid document format.

A set of components to build a HDF reader webapp.

Examples of my lecture on fearless concurrency with Rust.

A template for LLNCS papers with GitLab CI integration.

A small (but powerful) IDE for Pseuco. Archived version 1, new version at https://liebe.cs.uni-saarland.de/gitlab/pseuco/pseuco-ide.

libpseuco is a common library for pseuCo tools. It provides the facilities and data structures to read, traverse and process pseuCo programs.