All software
anvi'o
anvi'o is an open-source software platform for microbial 'omics research enabling analysis and visualization of 'omics data. In development since 2014, it is currently being maintained by the Ecosystem Data Science group at the Helmholtz Institute for Functional Marine Biodiversity.
- Data analysis
- Data Visualization
- Metagenomics
- + 4
- Python
- JavaScript
- Shell
- + 6
KeY
KeY is a deductive verification system for Java programs
- Deductive Verification
- First-Order Logic
- Formal Verification
- + 3
- Java
- ANTLR
- Perl
- + 14
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
DataLad
DataLad is a tool for the joint management of code, data, and their relationship, built on top of the version control systems Git & git-annex. It adapts principles of open-source software development & distribution to address challenges of data management, data sharing, & digital provenance capture.
- DataLad
- data managment
- data sharing
- + 8
- Python
- Shell
- Makefile
- + 4
PeTrack
PeTrack (Pedestrian Tracking) automatically extracts accurate pedestrian trajectories from video recordings (calibration, recognition, tracking). Individual codes enable personalized trajectories with static information of each participant. With ML techniques also markerless tracking is possible.
- Annotation
- Calibration
- Computer Vision
- + 20
- C++
- Python
- CMake
- + 2
Score-P
Score-P provides insight into massively parallel HPC applications, their communication, synchronization, I/O, and scaling behaviour to pinpoint performance bottlenecks and their causes.
- hpc
- Information
- instrumentation
- + 5
- C
- Fortran Free Form
- M4Sugar
- + 2
MESSy
MESSy is a software framework for the assembly of Earth System Models with components, which are numerical representations of processes in the Earth system. The unique feature of MESSy is its modular structure that facilitates continuous development and flexible model configurations.
- Aeronautics, Space and Transport
- Atmospheric science
- Earth & Environment
- + 5
JURASSIC
The Juelich Rapid Spectral Simulation Code (JURASSIC) is an open source, high performance infrared radiative transfer and retrieval model for atmospheric remote sensing applications.
- Atmospheric science
- Climate
- Earth & Environment
- + 7
- C
- Shell
- Visual Basic 6.0
- + 1
Scalasca
The Scalasca Trace Tools support performance optimization of parallel programs with a collection of highly scalable trace-based tools for in-depth analyses of concurrent behavior, in particular with respect to communication and synchronization, and offers guidance in exploring their causes.
- hpc
- Information
- Performance Analysis
- + 3
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
PEPC
The PEPC project (Pretty Efficient Parallel Coulomb Solver) is a public tree code that has been developed at Jülich Supercomputing Centre since the early 2000s. Our code is a non-recursive version of the Barnes-Hut algorithm, using a level-by-level approach to both tree construction and traversals.
- Barnes-Hut
- High performance computing
- hpc
- + 2
- Fortran Free Form
- C
- Shell
- + 2
CubeGUI
Cube, which is used as performance report explorer for Scalasca and Score-P, is a generic tool for displaying a multi-dimensional performance space consisting of the dimensions (i) performance metric, (ii) call path, and (iii) system resource.
- High performance computing
- Information
- Performance Analysis
- + 4