Ctrl K

Limited functionality: Your browser does not support JavaScript.

All software

1Filter

Order by

Keywords

352

Program languages

Licenses

109-120 of 126

RTLola Interpreter

An interpreter for RTLola specifications

Formal Methods
Interpreter
monitoring
+ 1

Rust
Python
Shell

S2Downloader

The S2Downloader allows to download Sentinel-2 L2A data from the cost-free element84 AWS Amazon server. It specifically serves the purpose to download data for user-defined area of interests (AOI). It offers several parameters for filtering the data, can stack the results, mosaic and crop to AOI.

open source
python
Remote sensing
+ 1

Python
Makefile
Shell

SampleDB

SampleDB is a web-based electronic lab notebook with a focus on sample and measurement metadata. With SampleDB, you can track each step in the sample lifecycle and its schema system allows you to define exactly what metadata should be stored for each process, from a simple check box to time series.

Electronic Lab Notebook
metadata
Research Data Management

Python
HTML
JavaScript
+ 4

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

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