Touying is a powerful package for creating presentation slides in Typst.

The Falso axiomatic system for Isabelle/HOL

A fully verified implementation of the Java Virtual Machine

Matching the electives in the TUM Informatics master by area with the information if they are actually being offered this semester.

Free and open source manga reader for Android

LLVM - Deluge

A jq clone focussed on correctness, speed, and simplicity

Fix broken Twitter/X embeds! Use multiple images, videos, polls, translations and more on Discord, Telegram and others

KeePassXC is a cross-platform community-driven port of the Windows application “Keepass Password Safe”.

KeePassXC Browser Extension

Open Source Continuous File Synchronization

Unison file synchronizer

Some geodata collection for public use

Parametric 2d/3d CAD

Complete lxml external type annotation

A new bootable USB solution.

Pika Backup – 🪞 Mirror only 🪞 – See https://gitlab.gnome.org/World/pika-backup for development

A composable build system for OCaml.

Collection of decent Community-made GRUB themes. Contributions welcome!

A simple wrapper around OCurl.

Protect keyboard from cat by intercepting keypresses

💊 Application to use ReVanced on Android

A new markup-based typesetting system that is powerful and easy to learn.

Fully featured, open source, privacy friendly email app for Android

App/Infoscreen for Railway Departures in Germany

Simple and lightweight GTK calendar (BSD license)

Use i3 with Cinnamon Session integration.

Crawler/Parser + REST API to map TUM modules to ECTS / degrees to curricula