All software
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
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
EC-Earth
A European community Earth-System Model
- Climate change
- Climate modeling
- High performance computing
- + 1
ODV
Ocean Data View (ODV) - Interactive exploration, analysis and visualization of oceanographic and other environmental data.
- Data analysis
- Data Visualization
- Earth & Environment
- + 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
ICON
ICON (Icosahedral Nonhydrostatic) is a flexible, scalable, high-performance modelling framework for weather, climate and environmental prediction . It is collaboratively developed and maintained by the ICON partnership (MPI-M, DWD, DKRZ, C2SM, KIT)
- Aerosol Research
- Atmospheric science
- Climate
- + 4
- Fortran Free Form
- Shell
- NCL
- + 2
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
UseGalaxy Canada
The main Canadian public Galaxy server
- AI
- astronomy
- climate
- + 10
- HCL
- HTML
- Jinja
- + 3
Parallel Ice Sheet Model (PISM)
An open-source modelling framework for ice sheets and glaciers
- C++
- geophysics
- Glacier
- + 5
- C
- C++
- CMake
- + 9
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
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