Ctrl K

Limited functionality: Your browser does not support JavaScript.

All software

1Filter

Order by

Keywords

383

Program languages

104

Licenses

121-132 of 137

SERGHEI

The Simulation EnviRonment for Geomorphology, Hydrodynamics and Ecohydrology in Integrated form (SERGHEI) is a multi-dimensional, multi-domain, and multi-physics model framework for environmental and landscape simulation, intended to simulate water flow and transport across landscape scales.

Earth & Environment
GPU
High performance computing
+ 4

C++
C
CMake
+ 2

ShockHash

A perfect hash function is a function that has no collisions on a given set. ShockHash constructs very compact perfect hash functions significantly faster than previous approaches.

C++
CMake
Shell

SicHash

A perfect hash function is a function that has no collisions on a given set. SicHash places objects in a cuckoo hash table and then stores the final hash function choice of each object in a retrieval data structure. Using irregular cuckoo hashing, each object has a different number of hash functions

C++
TeX
Shell
+ 2

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

simtools

simtools is a toolkit for simulations of ground-based imaging Cherenkov observatories like the Cherenkov Telescope Array Observatory (CTAO). It allows to set, derive, and manage simulation model parameters describing the observatory and to configure and execute large-scale simulation productions.

Astroparticle Physics
Matter
Monte Carlo simulation
+ 3

Python
Shell

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

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

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
+ 6

Tomato Tools

The Tomato Tools are a collection of graphical user interface applications related to the Acquisition, Curation and Management Workflow of marine image data. The tools can be used as standalone applications or, using the Tomato Launcher, in conjunction to form whole workflows.

C++
data managment
FAIR Data
+ 2

C++
CMake
Batchfile
+ 1