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
- + 2
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
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
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
MercuryDPM
MercuryDPM is an open-source C++ framework for discrete particle simulations of granular materials, powders, and other particulate systems. It was started in 2009 to support complex scientific and industrial particle simulations. MercuryDPM is developed by an international open-source community.
- Computational Granular Mechanics
- Discrete Element Method
- Discrete Particle Method
- + 3
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
NetworKit
NetworKit is a growing open-source toolkit for large-scale network analysis. Its aim is to provide tools for the analysis of large networks in the size range from thousands to billions of edges. It implements efficient graph algorithms, many of them parallel to utilize multicore architectures.
- algorithm engineering
- Graph algorithms
- Network Analysis
- C++
- Cython
- Python
- + 9
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
- Python
- Shell
- + 2