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
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
TOTEM_M
Code underlying: Topology Optimization of Thermo-Electro-Mechanical elements (TOTEM)
- Non-convexity
- Power constraint
- SIMP
- + 3
- HTML
- large-text-file
- Markdown
- + 2
Chemistry Development Kit
Open Source cheminformatics library.
- Cheminformatics
- Chemistry
- Computational Chemistry
- HTML
- Java
- Pawn
KeY
KeY is a deductive verification system for Java programs
- Deductive Verification
- First-Order Logic
- Formal Verification
- + 3
- Java
- ANTLR
- Perl
- + 14
UseGalaxy Canada
The main Canadian public Galaxy server
- AI
- astronomy
- climate
- + 10
- HCL
- HTML
- Jinja
- + 3
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
ETHOS.TSAM
tsam is a python package which uses different machine learning algorithms for the aggregation of time series.
- ESD
- ESD - Topic 1
- Python
- HTML
KeYmaera X
An aXiomatic Tactical Theorem Prover for Hybrid Systems
- Axiom
- Differential Dynamic Logic
- Hybrid Systems
- + 3
- Scala
- JavaScript
- Wolfram Language
- + 7
NetworKit
NetworKit is a growing open-source toolkit for large-scale network analysis. Its aim is to provide tools for the analysis of large networks in the size range from thousands to billions of edges. It implements efficient graph algorithms, many of them parallel to utilize multicore architectures.
- algorithm engineering
- Graph algorithms
- Network Analysis
- C++
- Cython
- Python
- + 9