Sign in
Ctrl K

All software

1Filter
Keywords
152
Program languages
69
Licenses
20
13-24 of 42
Cover image for GOLEM

GOLEM

GOLEM is a modelling platform for thermal-hydraulic-mechanical and non-reactive chemical processes in fractured and faulted porous media, based on the MOOSE framework

  • Earth & Environment
  • Multiphysics of porous fractured rocks
  • reservoir behaviour and induced seismicity
  • + 1
  • C++
  • SWIG
  • Assembly
  • + 5
3
108
Cover image for GR Framework

GR Framework

GR is a universal framework for cross-platform visualization applications. Applications range from publication quality 2D graphs to the representation of complex 3D scenes. It can be used in imperative programming systems or modern object-oriented systems, in particular those based on GUI toolkits.

  • C
  • C++
  • CMake
  • + 15
0
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 JuKKR

JuKKR

The Korringa-Kohn-Rostoker (KKR) Greens function method is a highly accurate all-electron method to perform density functional theory calculations for the prediction of materials properties based on quantum mechanical simulations.

  • CPU
  • Density functional theory
  • High performance computing
  • + 5
  • Fortran
  • TeX
  • Forth
  • + 2
29
0
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 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 Mallob

Mallob

Decentralized job scheduling platform for HPC and cloud environments, featuring an award-winning distributed engine for automated reasoning (SAT solving)

  • automated reasoning
  • High performance computing
  • job scheduling
  • + 1
  • C++
  • Shell
  • Python
  • + 5
1
5
Cover image for MeshIt

MeshIt

The tool MeshIT generates quality tetrahedral meshes based on structural geological information. It has been developed at the GFZ Potsdam and some extensions were later added by PERFACCT. All procedures are fully automatized and require at least scattered data points as input.

  • 3D meshing
  • Delaunay tetrahedralization
  • Delaunay triangulation
  • + 2
  • C++
  • C
  • QMake
2
37
Cover image for Millepede II

Millepede II

Millepede II has been developed to solve the linear least squares problem with a simultaneous fit of all global and local parameters, irrespectively of the number of local parameters.

  • Alignment
  • Large linear equation system
  • Matter
  • + 1
  • Fortran Free Form
  • C
  • Python
  • + 2
0
0