Explore projects

Memory Model Mapper

A compiler for documents in the hybrid document format.

An implementation of the buffer protocol for unicode strings.

A set of components to build a HDF reader webapp.

CPrAA - A Checker for Probabilistic Abstract Argumentation

A template for LLNCS papers with GitLab CI integration.

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

A server-side implementation of the jani-interaction protocol written in Go.