Karlsruhe Institute of Technology (KIT)
Copy-Paste Imputation (CPI) for Energy Time Series
This project provides a Python implementation of an imputation method for energy time series. The CPI method copies data blocks with similar characteristics and pastes them into gaps of the time series while preserving the total energy of each gap.
- Earth & Environment
- Energy
- ESD
- + 2
- Python
CorC
With CorC, we implemented an IDE to create programs following the Correctness-by-Construction approach. Starting with an abstract specification, CorC supports CbC developers in refining a program by a sequence of refinement steps and in verifying the correctness of these refinements.
- Eclipse
- WebCorC
- Java
- ANTLR
CORSIKA
A Monte Carlo framework for the simulation of particle showers initiated in the Earth's atmosphere (or dense media) by high-energy particles from the cosmos.
- Astroparticle Physics
- Matter
- Monte Carlo simulation
- Fortran
- C++
- Nextflow
- + 2
DataFlow
A comprehensive framework for automated data processing and manual postprocessing, including quality control and flagging. Modular and extensible design allows to create customizable pipelines and monitor their performance throughout the data lifecycle.
- data managment
- Data Visualization
- Pipeline
- + 2
- TSX
- Python
- TypeScript
- + 2
xDECAF
An extensible data flow diagram constraint analysis framework for information security
- Data Flow Diagram
- Modeling
- open source
- + 1
- Java
- Python
- Nix
- + 1
EuLerian Identification of ascending AirStreams - ELIAS 2.0
The ELIAS 2.0 software allows the identification of the footprints of rapidly ascending air streams in the atmosphere at substantially reduced computational costs compared to a conventional trajectory approach.
- Atmospheric science
- Earth & Environment
- Machine learning
- + 1
- Python
- Jupyter Notebook
ePowCoRe
A generic representation of power grids, enabling open-source model conversion modules for common open and proprietary modeling tools.
- Energy
- ESD
- python
- Python
- MATLAB
Flaat
Use python decorators for authorising access to OIDC authenticated REST APIs
- AAI
- Helmholtz AAI
- OpenID Connect
- + 1
- Python
- Makefile
Ginkgo
Ginkgo is a high-performance math library for the solution of sparse linear systems on GPUs (AMD, Intel, NVIDIA). Ginkgo is implemented using modern C++ and provides preconditioned Krylov solvers, multigrid, sparse direct solvers, mixed precision, and batched functionality.
- GPU
- High performance computing
- Large linear equation system
- + 4
- C++
- CMake
- Cuda
- + 4
Global Benchmark Database (GBD)
GBD is a comprehensive suite of tools for provisioning and sustainably maintaining benchmark instances and their metadata for empirical research on hard algorithmic problem classes.
- Data analysis
- FAIR Software
- Information
- + 4
- Python
- JavaScript
- HTML
- + 2
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
- Dockerfile