Sign in
Ctrl K

All software

1Filter
Keywords
155
Program languages
69
Licenses
20
13-24 of 48
Cover image for FormatFuzzer

FormatFuzzer

FormatFuzzer is a framework for high-efficiency, high-quality generation and parsing of binary inputs.

  • Automated Test Generation
  • Fuzzing
  • Information
  • + 3
  • Python
  • C++
  • Shell
  • + 2
0
0
Cover image for Ginkgo

Ginkgo

Ginkgo is a high-performance math library for the solution of sparse linear systems on GPUs (AMD, Intel, NVIDIA). Ginkgo is implemented using modern C++ and provides preconditioned Krylov solvers, multigrid, sparse direct solvers, mixed precision, and batched functionality.

  • GPU
  • High performance computing
  • Large linear equation system
  • + 4
  • C++
  • Cuda
  • NASL
  • + 4
0
0
Cover image for GMGPolar

GMGPolar

GMGPolar is a geometric multigrid solver using implicit extrapolation to raise the convergence order. It is based on meshes in tensor- or product-format. GMGPolar's focus applications are geometries that can be described by polar or curvilinear coordinates for which suited smoothing is available.

  • Energy
  • Geometric Multigrid
  • High performance computing
  • + 5
  • C++
  • Python
  • CMake
  • + 3
5
0
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 JPlag

JPlag

JPlag is one of the most used software plagiarism detectors in universities around the world.

  • Automated Obfuscation Attack
  • Collusion Detection
  • Education
  • + 7
  • Java
  • ANTLR
  • Rust
  • + 15
5
423
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 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
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 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
  • C++
  • Shell
1
149
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