Ctrl K
HIFIS Software Spotlights

All software

1Filter
Keywords
102
Program languages
49
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
  • + 13
4
13055
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
1075
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
355
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
321
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
319
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
  • Jupyter Notebook
  • MATLAB
  • HTML
  • + 2
3
29
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