Sign in
Ctrl K

All software

0Filters
Keywords
832
Program languages
122
Licenses
63
13-24 of 394
Cover image for OpenGeoSys

OpenGeoSys

OpenGeoSys (OGS) is a scientific open source project for the development of numerical methods for the simulation of thermo-hydro-mechanical-chemical (THMC) processes in porous and fractured media.

  • Earth & Environment
  • geotechnics
  • geothermal modeling
  • + 5
  • C++
  • AGS Script
  • TypeScript
  • + 2
69
733
Cover image for NEST

NEST

NEST is a simulator for spiking neuronal networks. A well tested and efficient tool, NEST works on your laptop and also on the world’s largest supercomputers to study behaviour of large networks of neurons.

  • Computational neuroscience
  • exascale
  • Modeling
  • + 3
  • C++
  • Python
  • CMake
  • + 3
119
542
Cover image for JPlag

JPlag

JPlag is one of the most popular source code plagiarism detection systems worldwide.

  • Automated Obfuscation Attack
  • Collusion Detection
  • Data analysis
  • + 9
  • Java
  • ANTLR
  • Vue
  • + 16
9
541
Cover image for PIConGPU

PIConGPU

PIConGPU is a relativistic Particle-in-Cell code running on graphic processing units as well as regular multi-core processors. It is Open Source und is freely available for download. It can be used to study plasmas with relativistic dynamics, solving the Maxwell-Vlasov system of equations.

  • C++
  • CPU
  • GPU
  • + 9
  • C++
  • Python
  • Shell
  • + 5
11
535
Cover image for ASPECT - The Advanced Solver for Planetary Evolution, Convection, and Tectonics

ASPECT - The Advanced Solver for Planetary Evolution, Convection, and Tectonics

ASPECT is a code to simulate convection and tectonic processes in the Earth and other planetary bodies. It has grown from a mantle-convection code into a tool for many geodynamic applications, like glacial isostatic adjustment, lithospheric scale deformation, ore formation and two-phase flow.

  • C++
  • CFD
  • Computational Fluid Dynamics
  • + 6
  • C++
  • Python
  • CMake
  • + 10
8
501
Cover image for DataLad

DataLad

DataLad is a tool for the joint management of code, data, and their relationship, built on top of the version control systems Git & git-annex. It adapts principles of open-source software development & distribution to address challenges of data management, data sharing, & digital provenance capture.

  • DataLad
  • data managment
  • data sharing
  • + 8
  • Python
  • Shell
  • Makefile
  • + 4
61
495
Cover image for PeTrack

PeTrack

PeTrack (Pedestrian Tracking) automatically extracts accurate pedestrian trajectories from video recordings (calibration, recognition, tracking). Individual codes enable personalized trajectories with static information of each participant. With a stereo camera also markerless tracking is possible.

  • Annotation
  • Calibration
  • Computer Vision
  • + 17
  • C++
  • Python
  • CMake
  • + 2
16
494
Cover image 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
  • C++
  • + 2
39
494
Cover image for IGMAS+

IGMAS+

IGMAS+ (Interactive Gravity and Magnetic Application System) is a software combining 3-D forward and inverse modeling, interactive visualization and interdisciplinary interpretation of potential fields and their applications under geophysical and geological data constrains.

  • 3D
  • Cross-platform
  • Earth & Environment
  • + 8
    5
    447
    Cover image for PDAF

    PDAF

    PDAF - the Parallel Data Assimilation Framework is a software framework for interdisciplinary 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
    • + 4
    5
    375
    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
    16
    370
    Cover image for CrystFEL

    CrystFEL

    CrystFEL is a suite of programs to process data from "serial crystallography" experiments.

    • crystallography
    • Matter
    • structural biology
    • + 2
    • C
    • Julia
    • Python
    • + 2
    25
    356