Ctrl K

Limited functionality: Your browser does not support JavaScript.

HIFIS Software Spotlights

Browse all Spotlights

All software

1Filter

Order by

Keywords

112

Program languages

Licenses

1-12 of 38

ComplexHeatmap

Complex heatmaps are efficient in visualizing associations between different sources of data sets and revealing potential patterns. Here the ComplexHeatmap package provides a highly flexible way to arrange multiple heatmaps and supports various annotation graphics.

bioconductor
Clustering
Data Science
+ 3

7291

maftools

maftools is a comprehensive toolkit for processing somatic variants from cohort-based cancer genomic studies

cancer
Classification
Data analysis
+ 14

3094

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

1945

KeY

KeY is a deductive verification system for Java programs

Deductive Verification
First-Order Logic
Formal Verification
+ 3

Java
HTML
ANTLR
+ 14

989

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

344

EnrichedHeatmap

Enriched heatmap is a special type of heatmap which visualizes the enrichment of genomic signals on specific target regions. The EnrichedHeatmap package provides advanced solutions for normalizing genomic signals within target regions as well as offering highly customizable visualizations.

Data analysis
Data Visualization
FAIR Data
+ 2

176

simplifyEnrichment

A new clustering algorithm, "binary cut", for clustering similarity matrices of functional terms is implemeted in this package. It also provides functions for visualizing, summarizing and comparing the clusterings.

Data analysis
Data Visualization
FAIR Data
+ 3

123

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

HilbertCurve

Hilbert curve is a type of space-filling curves that fold one dimensional axis into a two dimensional space, but with still preserves the locality. This package aims to provide an easy and flexible way to visualize data through Hilbert curve.

Data analysis
Data Science
Data Visualization
+ 3