Ctrl K

All software

1Filter
Keywords
278
Program languages
95
Licenses
31
RSD Host
3
1-12 of 110
Logo for QUAST
@helmholtz.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.

  • Data Visualization
  • FAIR Software
  • Genome assembly
  • + 4
  • AMPL
  • C++
  • Python
  • + 12
4
12560
Logo for ComplexHeatmap
@helmholtz.software

ComplexHeatmap

Complex heatmaps are efficient in visualizing associations between different sources of data sets and revealing potential patterns. Here the ComplexHeatmap package provides a highly flexible way to arrange multiple heatmaps and supports various annotation graphics.

  • bioconductor
  • Clustering
  • Data Science
  • + 3
  • R
  • CSS
1
11063
Logo for maftools
@helmholtz.software

maftools

maftools is a comprehensive toolkit for processing somatic variants from cohort-based cancer genomic studies

  • cancer
  • Classification
  • Data analysis
  • + 14
  • R
  • C
  • CSS
1
4395
Logo for anvi'o
@helmholtz.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
6
2733
Logo for KeY
@helmholtz.software

KeY

KeY is a deductive verification system for Java programs

  • Deductive Verification
  • First-Order Logic
  • Formal Verification
  • + 3
  • Java
  • ANTLR
  • Perl
  • + 14
36
1063
Logo for JPlag
@helmholtz.software

JPlag

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

  • Automated Obfuscation Attack
  • Collusion Detection
  • Data analysis
  • + 10
  • Java
  • ANTLR
  • Vue
  • + 16
9
551
@helmholtz.software

KeYmaera X

An aXiomatic Tactical Theorem Prover for Hybrid Systems

  • Axiom
  • Differential Dynamic Logic
  • Hybrid Systems
  • + 3
  • Scala
  • JavaScript
  • Mathematica
  • + 7
16
410
Logo for CPlantBox
@helmholtz.software

CPlantBox

CPlantBox is a functional-structural plant-soil modelling framework. It simulated the 3D architecture of a plant, coupled carbon and water flow within the plant, water flow and solute transport in a 3D dynamic soil, as well as water and nutrient uptake, and rhizodeposition.

  • C++
  • FSPM
  • functional-structural soil-plant model
  • + 2
  • Python
  • C++
  • CMake
  • + 3
9
345
Logo for InteractiveComplexHeatmap
@helmholtz.software

InteractiveComplexHeatmap

InteractiveComplexHeatmap is an R package that converts static heatmaps produced from ComplexHeatmap package into an interactive Shiny app only with one extra line of code.

  • Data analysis
  • Data Science
  • Data Visualization
  • + 3
  • R
  • JavaScript
  • CSS
1
311
Logo for simplifyEnrichment
@helmholtz.software

simplifyEnrichment

A new clustering algorithm, "binary cut", for clustering similarity matrices of functional terms is implemeted in this package. It also provides functions for visualizing, summarizing and comparing the clusterings.

  • Data analysis
  • Data Visualization
  • FAIR Data
  • + 3
  • R
  • CSS
1
281
Logo for EnrichedHeatmap
@helmholtz.software

EnrichedHeatmap

Enriched heatmap is a special type of heatmap which visualizes the enrichment of genomic signals on specific target regions. The EnrichedHeatmap package provides advanced solutions for normalizing genomic signals within target regions as well as offering highly customizable visualizations.

  • Data analysis
  • Data Visualization
  • FAIR Data
  • + 2
  • R
  • CSS
  • C++
1
252
Logo for dataquieR
nfdi.software

dataquieR

dataquieR is an R package designed to conduct automated and standardized data quality assessments. It can be applied to all sorts of tabular data. Spreadsheet-type metadata can be used to specify descriptions, expectations, and requirements about the data.

  • Cohort studies
  • data quality
  • data quality assessment
  • + 11
  • R
  • JavaScript
  • HTML
  • + 1
6
125