Ctrl K

Limited functionality: Your browser does not support JavaScript.

All software

1Filter

Order by

Keywords

538

Program languages

102

Licenses

217-228 of 233

SIMPA - The toolkit for Simulation and Image Processing for Photonics and Acoustics

SIMPA facilitates realistic simulations for optical and acoustic imaging modalities by providing a communication layer between various forward and inverse models. Non-experts can easily create sensible simulations from default parameters and domain experts can set up a highly customisable pipeline.

acoustic imaging
open-source
optical imaging
+ 2

Python
MATLAB
Shell
+ 1

SMASH - A hadronic transport approach

SMASH is a relativistic hadronic transport approach for the dynamical description of heavy-ion reactions. It is a microscopic non-equilibrium approach and incorporates all well known hadronic states and their interactions.

CPU
Matter
open source
+ 1

C++
CMake
Shell
+ 3

somesy

Somesy (software metadata sync) is a CLI tool to avoid messy software project metadata by keeping it in sync.

FAIR Software
python

Python

spatial.IO

An integrated cloud-ready geospatial data management system.

data managment
Earth & Environment
geospatial data

Python
Vue
TypeScript
+ 2

spirit

Spirit is a platform-independent framework for atomistic spin-dynamics. It combines the traditional cluster workflow through a C-API with python bindings with modern visualisation capabilities in order to maximise scientists' productivity.

Atomistic Spin Dynamics
C++
CUDA
+ 5

C++
Python
CMake
+ 9

stmlab

Simplify complex composite calculations. Launch and runtime environment for software projects developed by the Department of Structural Mechanics at the Institute of Lightweight Structures (DLR).

data managment
Jupyter
python
+ 1

Python
Jupyter Notebook

supervillain

supervillain does Markov-Chain Monte Carlo for modified Villain constructions of quantum field theory.

computational physics
Monte Carlo simulation
Physics
+ 2

Python
TeX
Batchfile
+ 1

Tamarin Prover

The Tamarin Prover is a state-of-the-art tool for the analysis of security protocols, which underpin the security of modern distributed computing.

Cryptographic Protocols
Formal Verification
Information

Haskell
Python
JavaScript
+ 9

TBT-Segmentation

Our tool uses Temporal Behavior Trees (TBT), a novel formalism for monitoring specifications, to segment traces provided as CSVs. Developers input a trace, and the tool analyzes it using a TBT to identify which parts of the software worked and which didn’t, aiding in system analysis and debugging.

CPS
Formal Specification
monitoring
+ 2

Rust
Python
Shell
+ 2

time.IO

A fully integrated and comprehensive timeseries management system

data managment
Earth & Environment
Time series

Python
PLpgSQL
Shell
+ 2

TiXI

TiXI is a fast and simple XML interface library and could be used from applications written in C, C++, Fortran, JAVA and Python.

C++
C
Python
+ 7

TREAMS

TREAMS is an open-source program to perform T-matrix-based scattering calculations for nanophotonic systems. It focuses on efficiently solving the interaction in 1D, 2D, and 3D lattices of complex unit cells using quickly convergent lattice sums. It also solves the interaction in finite clusters.

Python
Cython
Makefile