All software

QUAST

QUAST is a state-of-the-art tool for (meta)genome assembly evaluation, computing over 50 quality metrics and presenting results in plain text, static plots, and interactive HTML reports.

SUMO

Eclipse SUMO is an open source, highly portable, microscopic and continuous traffic simulation package designed to handle large networks. It allows for intermodal simulation including pedestrians and comes with a large set of tools for scenario creation.

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.

KeY

KeY is a deductive verification system for Java programs

JPlag

JPlag is one of the most popular source code plagiarism detection systems worldwide.

ETHOS.TSAM

tsam is a python package which uses different machine learning algorithms for the aggregation of time series.

KeYmaera X

An aXiomatic Tactical Theorem Prover for Hybrid Systems

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.

CryoGrid

The CryoGrid Model Suite provides a set of numerical tools for simulating the thermal soil regime and the ice-water balance for permafrost and glaciers. Depending on the application needs different model tools are offered, characterized by different levels complexity and modularity.

GSTools

GSTools is a Python-based software suite for solving a wide range of geostatistical problems. GSTools provides methods for generating different classes of correlated random fields; it can perform kriging, variogram estimation and much more.

Chemotion ELN

Chemotion ELN is an Open Source electronic lab notebook (ELN) for scientists working in chemistry and neighboring disciplines, developed mainly at Karlsruhe Institute of Technology (KIT). The web-based application allows the acquisition, management, storage, processing, and sharing of research data.

ESMValCore