Ctrl K

All software

0Filters
Keywords
1137
Program languages
137
Licenses
74
25-36 of 531
Logo for Score-P

Score-P

Score-P provides insight into massively parallel HPC applications, their communication, synchronization, I/O, and scaling behaviour to pinpoint performance bottlenecks and their causes.

  • hpc
  • Information
  • instrumentation
  • + 5
  • C
  • Fortran Free Form
  • M4Sugar
  • + 2
42
469

KeYmaera X

An aXiomatic Tactical Theorem Prover for Hybrid Systems

  • Axiom
  • Differential Dynamic Logic
  • Hybrid Systems
  • + 3
  • Scala
  • JavaScript
  • Wolfram Language
  • + 7
16
450
Logo for PDAF

PDAF

PDAF - the Parallel Data Assimilation Framework is one of the most widely used a software frameworks for data assimilation. PDAF provides support for ensemble modeling and fully implemented data assimilation methods to merge models and observational data which let models learn from observations.

  • Atmospheric science
  • data assimilation
  • Earth & Environment
  • + 9
  • Fortran
  • Shell
  • Makefile
  • + 3
5
421

reflimR

Uses an indirect method based on truncated quantile-quantile plots to estimate reference limits from routine laboratory data: Georg Hoffmann et al. (2024).

  • R
1
397
Logo for InteractiveComplexHeatmap

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
1
384

XRAYPAC

A software package for modeling x-ray-induced dynamics of matter

  • light-matter interaction
  • radiation chemistry
  • structural imaging
  • + 3
  • Fortran Free Form
  • Python
  • C
  • + 2
5
382
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
  • + 4
9
380
Logo for MESSy

MESSy

MESSy is a software framework for the assembly of Earth System Models with components, which are numerical representations of processes in the Earth system. The unique feature of MESSy is its modular structure that facilitates continuous development and flexible model configurations.

  • Aeronautics, Space and Transport
  • Atmospheric science
  • Earth & Environment
  • + 5
    2
    379
    Logo for ICGEM

    ICGEM

    ICGEM is archiving all global Earth gravity field models in citable form (DOIs). ICGEM provides visualization of the archived models incl. their differences and time variation. ICGEM is coordinated by the International Gravity Field Service (IGFS) of the International Association of Geodesy (IAG).

    • Data Visualization
    • Earth & Environment
    • Education
    • + 1
      4
      360
      Logo for MercuryDPM

      MercuryDPM

      MercuryDPM is an open-source C++ framework for discrete particle simulations of granular materials, powders, and other particulate systems. It was started in 2009 to support complex scientific and industrial particle simulations. MercuryDPM is developed by an international open-source community.

      • Computational Granular Mechanics
      • Discrete Element Method
      • Discrete Particle Method
      • + 3
        8
        354
        Logo for CADET

        CADET

        CADET provides hierarchical models, efficient solvers and computational engineering tools for a range of biotechnological processes, including chromatography, filtration, crystallization, and fermentation.

        • adsorption
        • chromatography
        • compartment modelling
        • + 4
        • C++
        • CMake
        • C
        • + 5
        15
        348
        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
        339