Software

KeY is a deductive verification system for Java programs

The HIFIS Research Software Directory is a place to discover and promote research software. Designed for Research Software Engineers and Scientists, it aims to foster FAIR and reuseability of software.

A wrapper framework around the WPS 4.0 server by 52° North to allow easy integration of command line scripts into WPS services.

Base-repo is a generic, domain-agnostic research data repository suitable to store and manage all kinds of research data. Its content is organized as DataResources, which consist of descriptive DataCite-compliant Metadata and one or more data elements, either stored as files or linked by reference.

RCE is a distributed integration environment for scientists and engineers to analyze, optimize, and design complex systems like aircraft, ships, or satellites.