Explore projects

Isabelle server supervisor and load balancer

hms++ is a Godunov-type Shallow Water Equations solver with a focus on investigating computational performance. It is written in C++ and fully open-source (GPLv3). Documentation: https://wahyd.gitlab-pages.tu-berlin.de/hmspp/hms/

This repository contains a collection of tools to simplify working with Moodle quizzes.

Plane Issues → iCalendar subscription gateway

Isabelle Server Client and Protocol library for Golang

ROS 2 Navigation Framework and System