Karlsruhe Institute of Technology (KIT)
HELDA (Helmholtz MCDA Tool)
HELDA (Helmholtz MCDA Tool) is a generic MCDA software with features tailored for sustainability assessment.
- Decision Analysis
- Decision Support
- ESD
- + 4
JPlag
JPlag is one of the most popular source code plagiarism detection systems worldwide.
- Automated Obfuscation Attack
- Collusion Detection
- Data analysis
- + 10
- Java
- ANTLR
- Vue
- + 16
Kadi4Mat
Kadi4Mat is a generic and open source virtual research environment.
- Aeronautics, Space and Transport
- Earth & Environment
- Electronic Lab Notebook
- + 9
- Python
- Vue
- HTML
- + 2
KaGen - Communication-free Massively Distributed Graph Generators
Network generators help to provide synthethic instances with controllable parameters by algorithm developers and researchers. KaGen provides generators for a large variety of network models, which are communication-free by making use of pseudorandomization and divide-and-conquer schemes.
- Graph Generation
- High performance computing
- Network Analysis
- + 1
- C++
- C
- CMake
- + 1
KaHyPar
KaHyPar is a fast, high-quality, and scalable algorithm for partitioning graphs and hypergraphs with billions of edges. It finds applications in minimizing communication costs for distributed (hyper)graph computations, quantum circuit simulations, storage sharding in databases, and VLSI design.
- Clustering
- Data analysis
- Graphs
- + 8
KaMPIng - Karlsruhe MPI next generation
KaMPIng is a flexible and (near) zero-overhead C++ wrapper for MPI, covering the whole range of abstraction levels from low-level MPI calls to convenient STL-style bindings. This allows for both rapid prototyping and highly engineered distributed algorithms.
- C++
- High performance computing
- MPI
- + 1
- C++
- CMake
- Shell
- + 1
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
- HTML
- ANTLR
- + 15
KeYmaera X
An aXiomatic Tactical Theorem Prover for Hybrid Systems
- Axiom
- Differential Dynamic Logic
- Hybrid Systems
- + 3
- Scala
- JavaScript
- Mathematica
- + 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
- Dockerfile
- Shell
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