Ctrl K
HIFIS Software Spotlights

All software

1Filter
Keywords
99
Program languages
48
Licenses
12
1-12 of 29
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
12769
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
1067
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
350
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
315
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
310
Logo for ESMValCore

ESMValCore

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

BlenderProc

A procedural Blender pipeline for photorealistic training image generation

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

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
  • Jupyter Notebook
  • MATLAB
  • HTML
  • + 2
3
25
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
18
Logo for ESM-Tools

ESM-Tools

ESM-Tools is a toolbox to assist you in running climate and Earth System Model simulations.

  • Earth & Environment
  • Earth System Modelling
  • FAIR Software
  • + 11
  • Shell
  • Python
  • Fortran
  • + 5
6
12
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
10