Sign in
Ctrl K

All software

0Filters
Keywords
792
Program languages
118
Licenses
62
13-24 of 373
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
  • Roff
  • + 2
69
718
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
539
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
524
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
492
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
490
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
488
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
    437
    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
    372
    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
    366
    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
    Cover image for CADET

    CADET

    CADET provides hierarchical models, efficient solvers and computational engineering tools for a range of biotechnological processes, including chromatography, filtration, crystallization, and fermentation.

    • adsorption
    • chromatography
    • compartment modelling
    • + 4
    • C++
    • CMake
    • C
    • + 1
    15
    284