Ctrl K

Limited functionality: Your browser does not support JavaScript.

HIFIS Software Spotlights

Browse all Spotlights

All software

1Filter

Order by

Keywords

126

Program languages

Licenses

1-12 of 41

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

1947

JPlag

JPlag is one of the most popular software plagiarism detectors worldwide.

Automated Obfuscation Attack
Collusion Detection
Data analysis
+ 9

Java
ANTLR
Rust
+ 15

529

KeYmaera X

An aXiomatic Tactical Theorem Prover for Hybrid Systems

Axiom
Differential Dynamic Logic
Hybrid Systems
+ 3

Scala
JavaScript
Mathematica
+ 7

345

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

103

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
TypeScript
Vue
+ 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

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.

C++
C
CMake
+ 8

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

CosmoScout VR

CosmoScout VR is an open source virtual Solar System, primarily aimed at interactive visualization of huge remote sensing products in conjunction with large-scale simulation data.

Aeronautics, Space and Transport
Data Visualization
solar system
+ 1

C++
JavaScript
GLSL
+ 7

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
+ 2

Python
C++
C
+ 13

HELIPORT

The guidance system HELIPORT aims to make the entire life cycle of a scientific project according to the FAIR principles. In particular, our data management solution deals with the areas from the generation of the data to the publication of primary research data, the workflows and results.

data managment
Earth & Environment
Energy
+ 10

Python
HTML
JavaScript
+ 2

ISAAC

In Situ Animation of Accelerated Computations

C++
CUDA
Data Visualization
+ 4

C++
HTML
JavaScript
+ 3