Sign in
Ctrl K

All software

1Filter
Keywords
275
Program languages
94
Licenses
25
37-48 of 91
Cover image for InteractiveVis

InteractiveVis

The InteractiveVis software framework provides a blueprint for evaluating 3D datasets with convolutional neural networks (CNNs), and for deriving and visualizing CNN relevance maps. This tool was developed and tested for disease detection in MRI scans. We plan to extend it to other domains.

  • Data Visualization
  • MRI
  • open source
  • + 1
  • Jupyter Notebook
  • HTML
  • MATLAB
  • + 5
1
0
Cover image for JEMRIS

JEMRIS

JEMRIS is a versatile, open-source, multi-purpose MRI simulator. It is well-suited for research and education.

  • MRI
  • Simulation
  • C++
  • Python
  • MATLAB
  • + 4
2
90
Cover image for JUBE

JUBE

JUBE is a generic, lightweight, configurable environment to run, monitor and analyse application execution in a systematic way. This software is commonly used to execute benchmarks and complex workflows on High Performance Computers, but is not limited to these systems.

  • Benchmark
  • Benchmarking
  • High performance computing
  • + 5
  • Python
  • Shell
  • C
5
3
Cover image for JuPedSim

JuPedSim

JuPedSim is a framework designed to support students and researchers in investigating pedestrian dynamics and conducting research related to the development and validation of new models or model features. It enables the analysis of experiments and facilitates the proper visualization of results.

  • Information
  • Modeling
  • open source
  • + 3
  • Python
  • C++
  • Jupyter Notebook
  • + 4
4
7
Cover image for JURASSIC

JURASSIC

The Juelich Rapid Spectral Simulation Code (JURASSIC) is a fast infrared radiative transfer model for the analysis of atmospheric remote sensing measurements.

  • Atmospheric science
  • Climate
  • Earth & Environment
  • + 5
  • C
  • Shell
  • Makefile
  • + 1
2
19
Cover image for JURI

JURI

JURI (Jülich Reporting Interface) provides a template-driven fully client-based web framework to visualise data lists and associated data graphs.

  • JavaScript
  • HTML
  • CSS
  • + 5
3
0
Cover image for Kaapana

Kaapana

Kaapana is an open source toolkit for state of the art platform provisioning in the field of medical data analysis. The applications comprise AI-based workflows and federated learning scenarios with a focus on radiological and radiotherapeutic imaging.

  • data managment
  • Federated Learning
  • Image processing
  • + 2
  • Python
  • Shell
  • Vue
  • + 12
2
9
Cover image for KeY

KeY

KeY is a deductive verification system for Java programs

  • Deductive Verification
  • First-Order Logic
  • Formal Verification
  • + 3
  • Java
  • HTML
  • ANTLR
  • + 14
30
952
Cover image for KeYmaera X

KeYmaera X

An aXiomatic Tactical Theorem Prover for Hybrid Systems

  • Axiom
  • Differential Dynamic Logic
  • Hybrid Systems
  • + 3
  • Scala
  • JavaScript
  • Mathematica
  • + 7
2
3
Cover image for LiberTEM

LiberTEM

LiberTEM is an open source platform for high-throughput distributed processing of large-scale binary data sets and live data streams using a stream-based programming model. The current focus is pixelated scanning transmission electron microscopy (4DSTEM) and scanning electron beam diffraction data.

  • 4D STEM
  • electron microscopy
  • high-throughput
  • + 3
  • Python
  • TypeScript
  • JavaScript
  • + 6
23
27
Cover image for LLview

LLview

LLview is a set of software components to monitor clusters that are controlled by a resource manager and a scheduler system.

  • High performance computing
  • hpc
  • monitoring
  • + 2
  • Perl
  • Python
  • Shell
4
0
Cover image for LYNX

LYNX

LYNX (Lithosphere dYnamics Numerical toolboX) is a novel numerical simulator for modelling thermo-poromechanical coupled processes driving the deformation dynamics of the lithosphere.

  • damage rheology and porosity feedback
  • Earth & Environment
  • Explicit visco-elasto-plastic rheology
  • + 1
  • C++
  • Assembly
  • Makefile
  • + 4
2
23