Ctrl K

Limited functionality: Your browser does not support JavaScript.

HIFIS Software Spotlights

Browse all Spotlights

All software

1Filter

Order by

Keywords

164

Program languages

Licenses

1-12 of 52

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

9454

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
Omics
+ 1

Python
JavaScript
HTML
+ 5

2013

KeY

KeY is a deductive verification system for Java programs

Deductive Verification
First-Order Logic
Formal Verification
+ 3

Java
HTML
ANTLR
+ 14

1009

JPlag

JPlag is one of the most popular source code plagiarism detection systems worldwide.

Automated Obfuscation Attack
Collusion Detection
Data analysis
+ 9

Java
ANTLR
Rust
+ 15

533

KeYmaera X

An aXiomatic Tactical Theorem Prover for Hybrid Systems

Axiom
Differential Dynamic Logic
Hybrid Systems
+ 3

Scala
JavaScript
Mathematica
+ 7

360

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

257

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

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

cola

Subgroup classification is a basic task in genomic data analysis. The cola package provides a general framework for subgroup classification by consensus partitioning.

Data analysis
Data Visualization
FAIR Data
+ 3

HTML
R
C++

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

LiberTEM

LiberTEM is an open source platform for high-throughput distributed processing of large-scale binary data sets and live data streams using a stream-based programming model. The current focus is pixelated scanning transmission electron microscopy (4DSTEM) and scanning electron beam diffraction data.

4D STEM
electron microscopy
high-throughput
+ 3

Python
TypeScript
JavaScript
+ 6

MSS - Mission Support System

For discussion of the possibilites of research flights, the Mission Support System (MSS) was developed. This software helps to review a big amount of metereological and model data by viewing the forecasted parameters of interest along possible regions of a proposed flight path.

Data Visualization
Earth & Environment
Flight Planning
+ 2

Python
HTML
Shell
+ 2