Karlsruhe Institute of Technology (KIT)
KaRRi - Karlsruhe Rapid Ridesharing
KaRRi is a state-of-the-art dispatcher for the dynamic taxi sharing problem with meeting points. KaRRi utilizes highly engineered many-to-many shortest path queries to compute optimal assignments of riders to vehicles and according meeting points within milliseconds.
- algorithm engineering
- algorithms
- Future Mobility
- + 11
- C++
- CMake
- Shell
- + 3
KeY
KeY is a deductive verification system for Java programs
- Deductive Verification
- First-Order Logic
- Formal Verification
- + 3
- Java
- ANTLR
- Perl
- + 14
KeYmaera X
An aXiomatic Tactical Theorem Prover for Hybrid Systems
- Axiom
- Differential Dynamic Logic
- Hybrid Systems
- + 3
- Scala
- JavaScript
- Wolfram Language
- + 7
LiberTEM
LiberTEM is an open source platform for high-throughput distributed processing of large-scale binary data sets and live data streams using a stream-based programming model. The current focus is pixelated scanning transmission electron microscopy (4DSTEM) and scanning electron beam diffraction data.
- 4D STEM
- electron microscopy
- high-throughput
- + 3
- Python
- TypeScript
- JavaScript
- + 6
LightHouse
LightHouse helps to navigate the wild and complex sea of OpenID Federation. LightHouse is a flexible and configurable OpenID Federation Entity, and can be used as a Trust Anchor / Intermediate Authority / Resolver / Trust Mark Issuer or everything at the same time.
- OIDC
- oidfed
- OpenID Connect
- + 1
- Go
- HTML
- Dockerfile
- + 1
LiSSA
LiSSA: A Framework for Generic Traceability Link Recovery In software development and maintenance, numerous artifacts such as requirements and code are produced. LiSSA aims to provide a generic solution for Traceability Link Recovery (TLR) by utilizing LLMs in combination with RAG techniques.
- Information Retrieval
- Large Language Model (LLM)
- Retrieval Augmented Generation (RAG)
- + 1
- Java
- Python
Mallob
Automated Reasoning in HPC and Cloud Environments: Scheduling, Solving, Proving
- automated reasoning
- High performance computing
- job scheduling
- + 2
- C++
- SMT
- Shell
- + 4
matRad
matRad is a dose calculation and inverse treatment planning toolkit for radiotherapy research and education written in Matlab.
- Health
- Medical Physics
- Particle Therapy
- + 2
- MATLAB
- TeX
- C++
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
- + 2