Ctrl K
HIFIS Software Spotlights

All software

1Filter
Keywords
95
Program languages
49
Licenses
12
1-12 of 28
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
  • + 13
4
13385
Logo for KeY

KeY

KeY is a deductive verification system for Java programs

  • Deductive Verification
  • First-Order Logic
  • Formal Verification
  • + 3
  • Java
  • ANTLR
  • Perl
  • + 14
36
1083
Logo for CPlantBox

CPlantBox

CPlantBox is a functional-structural plant-soil modelling framework. It simulated the 3D architecture of a plant, coupled carbon and water flow within the plant, water flow and solute transport in a 3D dynamic soil, as well as water and nutrient uptake, and rhizodeposition.

  • C++
  • FSPM
  • functional-structural soil-plant model
  • + 2
  • Python
  • C++
  • CMake
  • + 3
9
360
Logo for matRad

matRad

matRad is a dose calculation and inverse treatment planning toolkit for radiotherapy research and education written in Matlab.

  • Health
  • Medical Physics
  • Particle Therapy
  • + 2
  • MATLAB
  • TeX
  • C++
54
326
Logo for Earth System Model Evaluation Tool (ESMValTool)

Earth System Model Evaluation Tool (ESMValTool)

  • climate modelling
  • Data analysis
  • Earth & Environment
  • + 4
  • Python
  • NCL
  • R
  • + 7
89
320
Logo for ESMValCore

ESMValCore

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

BlenderProc

A procedural Blender pipeline for photorealistic training image generation

  • Blender
  • Dataset creation
  • Indoor Scene
  • + 4
  • Python
  • TeX
8
119
Logo for NetworKit

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
0
52

kramersmoyal

The Python package `kramersmoyal` provides functions to analyze stochastic drift-diffusion and discontinuous stochastic processes in observational and experimental data.

  • Data analysis
  • Drift-Diffusion
  • Energy
  • + 5
  • Python
  • TeX
2
39
Logo for Spin-Dependent 5th Force Limits

Spin-Dependent 5th Force Limits

This is an open research software and data platform for compiling, standardizing, and visualizing constraints on spin-dependent exotic interactions beyond the Standard Model. It provides a unified, reusable, and citable framework for comparing results across experiments and parameter spaces.

  • Beyond Standard Model physics
  • Data compilation
  • FAIR Software
  • + 4
  • TeX
  • Jupyter Notebook
  • HTML
  • + 4
3
30
Logo for ARTIST

ARTIST

AI-enhanced differentiable Ray Tracer for Irradiation Prediction in Solar Tower Digital Twins

  • Concentrated Solar Energy
  • Differentiable Ray Tracing
  • digital twin
  • + 5
  • Python
  • TeX
7
19
Logo for Reflectorch

Reflectorch

Reflectorch is a Python package for the analysis of X-ray and neutron reflectivity data using Pytorch-based neural networks. It provides fast simulation of reflectometry curves by GPU, parameterization via YAML configuration files, and prior-aware training.

  • Machine learning
  • neutron
  • open source
  • + 3
  • Python
  • TeX
  • Dockerfile
4
15