All software

0Filters
Keywords
873
Program languages
123
Licenses
63
13-24 of 412
Logo 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
744
Logo 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
546
Logo 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
544
Logo 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
Logo 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
515
Logo 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
506
Logo 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
505
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
39
503
Logo 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
    Logo 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
    • Makefile
    • Python
    • + 3
    5
    380

    KeYmaera X

    An aXiomatic Tactical Theorem Prover for Hybrid Systems

    • Axiom
    • Differential Dynamic Logic
    • Hybrid Systems
    • + 3
    • Scala
    • JavaScript
    • Mathematica
    • + 7
    16
    379
    Logo 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