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
- HTML
- + 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
NEST
NEST is a simulator for spiking neuronal networks. A well tested and efficient tool, NEST works on your laptop and also on the world’s largest supercomputers to study behaviour of large networks of neurons.
- Computational neuroscience
- exascale
- Modeling
- + 3
- C++
- Python
- CMake
- + 3
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
- + 18
- C++
- Python
- CMake
- + 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
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
4C Multiphysics
4C is a parallel multiphysics research code for simulating solid/fluid mechanics, scalar transport, and chemical reactions. It supports both single-field and coupled systems, offering ready-to-use solutions for a wide range of physical problems.
- Computational Fluid Dynamics
- High performance computing
- Information
- + 3
- C++
- CMake
- Python
- + 6
JURASSIC
The Juelich Rapid Spectral Simulation Code (JURASSIC) is a fast infrared radiative transfer model for the analysis of atmospheric remote sensing measurements.
- Atmospheric science
- Climate
- Earth & Environment
- + 5
- 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
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
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