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
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
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
- 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
ARX - Open Source Data Anonymization Software
ARX is an open-source tool for anonymizing sensitive personal data. It offers many privacy/risk models, transformation methods, and utility analyses. Used in research, clinical trials, training, and big-data platforms. Scales to large datasets and includes an intuitive cross-platform GUI.
- anonymization
- de-identification
- privacy
- Java
- HTML
- Shell
ESMValCore
- Data analysis
- Earth & Environment
- FAIR Software
- + 2
- Python
- Jupyter Notebook
- HTML
- + 4
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
Kadi4Mat
Kadi4Mat is a generic and open source virtual research environment.
- Aeronautics, Space and Transport
- Earth & Environment
- Electronic Lab Notebook
- + 9
- Python
- Vue
- HTML
- + 2
MPTRAC
Massive-Parallel Trajectory Calculations (MPTRAC) is a Lagrangian particle dispersion model for the analysis of atmospheric transport processes in the free troposphere and stratosphere.
- Atmospheric science
- Climate
- Earth & Environment
- + 6
- C
- Shell
- HTML
- + 4
VarFish
VarFish is a user-friendly web application for the quality control, filtering, prioritization, analysis, and user-based annotation of DNA variant data with a focus on rare disease genetics. It is capable of processing variant call files with single or multiple samples. ...
- Annotation
- Data analysis
- Health
- + 1
- Python
- Vue
- TypeScript
- + 9