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.
- Data Visualization
- FAIR Software
- Genome assembly
- + 4
- AMPL
- C++
- Python
- + 13
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
maftools
maftools is a comprehensive toolkit for processing somatic variants from cohort-based cancer genomic studies
- cancer
- Classification
- Data analysis
- + 14
- R
- C
- CSS
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.
- Aeronautics, Space and Transport
- Modelling
- open source
- + 3
- Python
- C++
- C
- + 14
COPASI
COPASI is an open source software for simulation and analysis of biochemical networks and their dynamics. It provides simulations using ODEs, SDEs, or Gillespie's stochastic simulation algorithm, with optional discrete events. COPASI provides several analyses, optimization, and parameter estimation.
- Dynamics
- optimization
- Parameter estimation
- + 3
- Batchfile
- C
- C#
- + 17
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
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
KeYmaera X
An aXiomatic Tactical Theorem Prover for Hybrid Systems
- Axiom
- Differential Dynamic Logic
- Hybrid Systems
- + 3
- Scala
- JavaScript
- Wolfram Language
- + 7
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
- + 4
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
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