Karlsruhe Institute of Technology (KIT)
go-oidfed
The go-oidfed library is an implementation of OpenID Federation in the go language with the goal to enable go applications to make use of OpenID federation.
- OIDC
- oidfed
- OpenID Connect
- + 1
- Go
Heat
Heat is a flexible and seamless open-source software for high performance data analytics and machine learning. It provides highly optimized algorithms and data structures for tensor computations using CPUs, GPUs and distributed cluster systems on top of MPI.
- CPU
- Data analysis
- Earth & Environment
- + 5
- Python
- Shell
- Jupyter Notebook
- + 1
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
JRODOS Pipeline for Nuclear Emergency Planning
A new JRODOS module that post-processes statistical ensembles of Atmospheric Dispersion Models outputs in order to derive early-phase evacuation areas under realistic annual meteorology.
- Atmospheric science
- Decision-Making Software
- Java
- + 3
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
- Python
- + 2
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
- 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