Ctrl K

Limited functionality: Your browser does not support JavaScript.

All software

1Filter

Order by

Keywords

348

Program languages

Licenses

109-120 of 121

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

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

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

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

TRIDEC Cloud

TRIDEC Cloud serves functionality to handle and share threat specific information. It integrates services for obtaining event related geo-data, e.g. of earthquakes, for automated computations, e.g. of tsunami propagations, for mapping, summarizing, and communicating hazard specific data.

early warning
Earth & Environment
GPU
+ 6

Python
Vue
Shell
+ 6

TSMP

The Terrestrial Systems Modelling Platform (TSMP) is an open source framework implementing a scale-consistent, highly modular, massively parallel regional Earth system model. It represents transport and feedback processes of mass, energy and momentum across geo-ecosystem compartments and scales.

Earth & Environment

Fortran
Shell
C
+ 10