Explore projects

Dokumentation: https://innohs.pages.uni-potsdam.de/rest-api

A Verified Compiler for Gallina, Written in Gallina

Routine for downloading INCA from ZAMG data hub

This is a dashboard to support science communication.

The WZB-PSID File provides its users with an easy access to PSID data and to longitudinal analyses with the PSID.

The web app for visualizing meteorological and hydrological forecasts produced in rischid. It should accomodate "real-time" updates (like every year updating the forecast for the rainy season).

Importing circuit diagrams into minetest and displaying them.