Sign in
Ctrl K

All software

0Filters
Keywords
832
Program languages
122
Licenses
63
1-12 of 394
Cover image for QUAST

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
10259
Cover image for ComplexHeatmap

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
8549
Cover image for maftools

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
3572
Cover image for circlize

circlize

Circular layout is an efficient way for the visualization of huge amounts of information. The circlize package provides an implementation of circular layout generation in R.

  • Data analysis
  • Data Science
  • Data Visualization
  • + 3
  • R
1
3398
Cover image for CP2K

CP2K

CP2K is a quantum chemistry and solid state physics software package running on graphics processing units and thousands of processing units. It is open-source and allows simulations, spectroscopy, vibrational analysis and energy minimization on a vast variety of theory levels.

  • electronic structure
  • GPU
  • High performance computing
  • + 5
  • Fortran
  • C
  • Python
  • + 13
8
2674
Cover image for anvi'o

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
  • + 5
6
2285
Cover image for REMix

REMix

REMix is a powerful software for energy systems optimization. It can be used for the planning and techno-economical assessment of future multi-energy systems of any spatial, temporal and technological scope. REMix offers a wide range of methods and features that can be flexibly selected by the user.

  • Energy
  • Energy planning
  • ESD
  • + 5
  • GAMS
  • Python
  • Dockerfile
19
1715
Cover image for CORSIKA

CORSIKA

A Monte Carlo framework for the simulation of particle showers initiated in the Earth's atmosphere (or dense media) by high-energy particles from the cosmos.

  • Astroparticle Physics
  • Matter
  • Monte Carlo simulation
    2
    1649
    Cover image for ODV

    ODV

    Ocean Data View (ODV) - Interactive exploration, analysis and visualization of oceanographic and other environmental data.

    • Data analysis
    • Data Visualization
    • Earth & Environment
    • + 1
      2
      1429
      Cover image for KeY

      KeY

      KeY is a deductive verification system for Java programs

      • Deductive Verification
      • First-Order Logic
      • Formal Verification
      • + 3
      • Java
      • HTML
      • ANTLR
      • + 15
      30
      1019
      Cover image for ETHOS.FINE - Framework for Integrated Energy System Assessment

      ETHOS.FINE - Framework for Integrated Energy System Assessment

      ETHOS.FINE provides a framework for modeling, optimizing and assessing energy systems. Systems with multiple regions, commodities and time steps can be modeled. Target of the optimization is the minimization of the total annual cost while considering technical and environmental constraints.

      • Energy
      • Energy planning
      • ESD
      • + 6
      • Python
      • Dockerfile
      2
      909
      Cover image for Palladio

      Palladio

      Palladio is a software architecture simulation approach which analyses software at the model level for performance bottlenecks, scalability issues, reliability threats, and allows for subsequent optimisation.

      • Component-Based Software Engineering
      • Information
      • Modeling
      • + 3
        3
        757