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
- + 12
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
- C++
- Java
- Fortran
- + 17
TOTEM_M
Code underlying: Topology Optimization of Thermo-Electro-Mechanical elements (TOTEM)
- Non-convexity
- Power constraint
- SIMP
- + 3
- Other
- Matlab
- HTML
- + 2
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
Chemistry Development Kit
Open Source cheminformatics library.
- Cheminformatics
- Chemistry
- Computational Chemistry
- Java
- Pawn
- HTML
KeY
KeY is a deductive verification system for Java programs
- Deductive Verification
- First-Order Logic
- Formal Verification
- + 3
- Java
- HTML
- ANTLR
- + 15
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
- Mathematica
- + 7
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.
- Climate
- Earth & Environment
- Modeling
- + 1
- MATLAB
- HTML
- Mercury
- + 2
BridgeDb Java
Java library for identifier mapping
- Data
- persistent identifiers
- Java
- Perl
- Shell
- + 5
OpenChrom
OpenChrom is a vendor independent open source software for chromatography, spectrometry and spectroscopy.
- chromatography
- mass spectrometry
- Java
- HTML
- CSS
NNPDF
Fitting proton substructure to observation data using neural networks
- Machine learning
- Python
- Jupyter Notebook
- C
- + 5