Karlsruhe Institute of Technology (KIT)
Mallob
Automated Reasoning in HPC and Cloud Environments: Scheduling, Solving, Proving
- automated reasoning
- High performance computing
- job scheduling
- + 2
- C++
- Shell
- Python
- + 4
MESSy
MESSy is a software framework for the assembly of Earth System Models with components, which are numerical representations of processes in the Earth system. The unique feature of MESSy is its modular structure that facilitates continuous development and flexible model configurations.
- Aeronautics, Space and Transport
- Atmospheric science
- Earth & Environment
- + 5
MetaStore
MetaStore is a research data repository software for storing metadata documents and schemas. Quality and consistency are ensured by associating and validating each document against a schema. It supports JSON and XML.
- data managment
- FAIR Data
- metadata
- + 1
- Java
- JavaScript
- HTML
- + 3
motley-cue
enable SSH with federated identities
- AAI
- Helmholtz AAI
- OIDC
- + 1
- Python
- Makefile
- Shell
MSS - Mission Support System
For discussion of the possibilites of research flights, the Mission Support System (MSS) was developed. This software helps to review a big amount of metereological and model data by viewing the forecasted parameters of interest along possible regions of a proposed flight path.
- Data Visualization
- Earth & Environment
- Flight Planning
- + 2
- Python
- HTML
- Shell
- + 1
mytoken
Mytoken is a web service to obtain OpenID Connect Access Tokens in an easy but secure way for extended periods of time and across multiple devices. In particular, mytoken was developed to provide OIDC Access Tokens to long-running compute jobs.
- AAI
- Helmholtz AAI
- OIDC
- + 2
- JavaScript
- Go
- Mustache
- + 3
NovaCrate
Web-based interactive editor for creating, editing and visualizing research object crates.
- browser
- crate
- edit
- + 14
- TypeScript
- CSS
- Dockerfile
- + 1
O3as
The O3as service provides tools to extract essential information on ozone trends from large climate prediction model data and allows the production of scientifically valuable figures coherently.
- Earth & Environment
- Ozone recovery
- Stratospheric ozone
OFFA
OFFA offers easy to use OpenID Federation Authentication and Authorisation for existing services. OFFA can be deployed along existing services and handle all OpenID Federation communication for your services.
- OIDC
- oidfed
- open source
- Go
- CSS
- Mustache
- + 3
oidc-agent
oidc-agent is an OpenID Connect tool suite designed to simplify authentication processes for command-line applications and workflows that require access to resources protected by OIDC. It provides a secure, but user-friendly way to manage tokens on the command-line.
- AAI
- command-line
- OIDC
- + 2
- C
- C++
- Makefile
- + 4
openCARP
openCARP is a multiscale cardiac electrophysiology simulator for in silico experiments ranging from single heart cells and cardiac tissue to organ models up to the body surface ECG.
- computational cardiology
- digital twin
- electrophysiology
- + 3
- C++
- Python
- C
- + 2
Palladio
Palladio is a software architecture simulation approach which analyses software at the model level for performance bottlenecks, scalability issues, reliability threats, and allows for subsequent optimisation.
- Component-Based Software Engineering
- Information
- Modeling
- + 3