Ctrl K
HIFIS Software Spotlights

All software

1Filter
Keywords
231
Program languages
80
Licenses
22
1-12 of 65
Logo 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
13026
Logo 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
  • + 6
6
2800
Logo for JPlag

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
9
765

KeYmaera X

An aXiomatic Tactical Theorem Prover for Hybrid Systems

  • Axiom
  • Differential Dynamic Logic
  • Hybrid Systems
  • + 3
  • Scala
  • JavaScript
  • Wolfram Language
  • + 7
16
418
Logo for InteractiveComplexHeatmap

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
1
340
Logo for Chemotion ELN

Chemotion ELN

Chemotion ELN is an Open Source electronic lab notebook (ELN) for scientists working in chemistry and neighboring disciplines, developed mainly at Karlsruhe Institute of Technology (KIT). The web-based application allows the acquisition, management, storage, processing, and sharing of research data.

  • Chemistry
  • Electronic Lab Notebook
  • Experimental Sciences
  • + 2
  • JavaScript
  • Ruby
  • SCSS
  • + 5
19
148
Logo for ESMValCore

ESMValCore

  • Data analysis
  • Earth & Environment
  • FAIR Software
  • + 2
  • Python
  • Jupyter Notebook
  • HTML
  • + 4
46
142
Logo for Kadi4Mat

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
4
112
Logo for VarFish

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
14
60
Logo for Aviator

Aviator

Aviator is a web service facilitating easy surveillance of scientific online tools. It currently checks more than 13,000 websites twice a day for availability and saves numerous features (response time, RAM usage security certificates, analytic tools / trackers, etc.) in a FAIR data repository.

  • Data Visualization
  • FAIR Data
  • FAIR Software
  • + 8
  • Python
  • HTML
  • JavaScript
  • + 5
6
50
Logo for TiGL

TiGL

TiGL is a parametric aircraft geometry modeler. Using the CPACS file format and TiGL, you can model a wide range of aircraft, spacecraft and rotorcraft.

  • CAD
  • C++
  • C
  • CMake
  • + 7
3
49
Logo for Medical Imaging Interaction Toolkit (MITK)

Medical Imaging Interaction Toolkit (MITK)

A free and open-source software for the development of interactive medical image processing applications. MITK provides a powerful and free application called the MITK Workbench, which allows users to view, process, and segment medical images.

  • Artificial Intelligence
  • C++
  • Data Visualization
  • + 7
  • C++
  • CMake
  • C
  • + 8
5
42