Software

KeY

KE

KeY is a deductive verification system for Java programs

Updated 2 weeks ago
46 16

Kadi4Mat

KA

Kadi4Mat is an open-source software for managing research data, which supports close cooperation between experimenters, theorists, and simulators, especially in the field of materials science.

Updated 4 weeks ago
5 1

HELIPORT

HE

The guidance system HELIPORT aims to make the entire life cycle of a scientific project according to the FAIR principles. In particular, our data management solution deals with the areas from the generation of the data to the publication of primary research data, the workflows and results.

Updated 1 month ago
4 9

PaN Training Catalogue for the Photon & Neutron Community

PA

The PaN Training Catalogue is a fork from the TeSS Training Catalogue (ELIXIR) and was initially developed in our Photon and Neutron (PaN) projects ExPaNDS and PaNOSC.

Updated 3 months ago
3 5

SampleDB

SA

SampleDB is a web-based electronic lab notebook with a focus on sample and measurement metadata. With SampleDB, you can track each step in the sample lifecycle and its schema system allows you to define exactly what metadata should be stored for each process, from a simple check box to time series.

Updated 3 months ago
8

GR Framework

GR

GR is a universal framework for cross-platform visualization applications. Applications range from publication quality 2D graphs to the representation of complex 3D scenes. It can be used in imperative programming systems or modern object-oriented systems, in particular those based on GUI toolkits.

Updated 2 months ago

TRIDEC Cloud

TR

TRIDEC Cloud merges several complementary external and in-house cloud-based services into one platform for automated background computation, for web-mapping of hazard specific geospatial data, and for serving relevant functionality to handle, share, and communicate threat specific information in a c

Updated 3 months ago

FishInspector

FI

The software FishInspector provides automatic feature detections in images of zebrafish embryos (body size, eye size, pigmentation). It is Matlab-based and provided as a Windows executable (no matlab installation needed).

Updated 3 months ago

Chemotion ELN

CH

Chemotion ELN is an Open Source electronic lab notebook (ELN) for scientists working in chemistry and colleagues from neighboring disciplines, developed and updated at KIT. The web-based application allows the acquisition, management, storage, processing, and sharing of research data.

Updated 3 months ago

RCE

RC

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

Updated 3 months ago