All software
ASTRA Toolbox
The ASTRA Toolbox is a Python and MATLAB library of flexible, high-performance GPU-accelerated primitives for 2D and 3D tomography.
- CT
- GPU
- Image reconstruction
- + 4
- (Batchfile)
- (C)
- (C++)
- + 8
ODV
Ocean Data View (ODV) - Interactive exploration, analysis and visualization of oceanographic and other environmental data.
- Data analysis
- Data Visualization
- Earth & Environment
- + 1
EC-Earth
A European community Earth-System Model
- Climate change
- Climate modeling
- High performance computing
- + 1
ETHOS.FINE - Framework for Integrated Energy System Assessment
ETHOS.FINE provides a framework for modeling, optimizing and assessing energy systems. Systems with multiple regions, commodities and time steps can be modeled. Target of the optimization is the minimization of the total annual cost while considering technical and environmental constraints.
- Energy
- Energy planning
- ESD
- + 6
- Python
- Dockerfile
KeY
KeY is a deductive verification system for Java programs
- Deductive Verification
- First-Order Logic
- Formal Verification
- + 3
- Java
- ANTLR
- Perl
- + 14
GGIR
Converts raw data from wearables into insightful reports for researchers investigating human daily physical activity and sleep.
- Big data
- (R)
Parallel Ice Sheet Model (PISM)
An open-source modelling framework for ice sheets and glaciers
- C++
- geophysics
- Glacier
- + 5
- (C)
- (C++)
- (CMake)
- + 9
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
OpenGeoSys
OpenGeoSys (OGS) is a scientific open source project for the development of numerical methods for the simulation of thermo-hydro-mechanical-chemical (THMC) processes in porous and fractured media.
- Earth & Environment
- geotechnics
- geothermal modeling
- + 5
- C++
- AGS Script
- TypeScript
- + 2
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
CrystFEL
CrystFEL is a suite of programs to process data from "serial crystallography" experiments.
- crystallography
- Matter
- structural biology
- + 2
- C
- Julia
- Python
- + 2
ETHOS.TSAM
tsam is a python package which uses different machine learning algorithms for the aggregation of time series.
- ESD
- ESD - Topic 1
- Python