Ctrl K

All software

1Filter
Keywords
450
Program languages
113
Licenses
35
85-96 of 166
Logo for TBT-Segmentation

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

CICMoD - A Climate Index Collection based on Model Data

The software provides a consistent and comprehensive collection of climate indices typically used to describe Earth System dynamics and serves as a new benchmark data set. It allows users to develop new machine learning methods and to compare their results to existing methods in an objective way.

  • Earth & Environment
  • FAIR Data
  • Image processing
  • + 1
  • Jupyter Notebook
  • Python
  • Shell
  • + 1
5
1
Logo for dCache

dCache

dCache is a system for storing and retrieving huge amounts of scientific data, distributed among a large number of heterogeneous server nodes, under a single virtual filesystem tree with a variety of standard access methods including NFSv4.1 (pNFS), FTP, WebDav and xroot.

  • data managment
  • FAIR Data
  • Java
  • JavaScript
  • XSLT
  • + 14
4
1
Logo for EnPT

EnPT

The Environmental Mapping and Analysis Program (EnMAP) is a German hyperspectral satellite mission that aims at monitoring and characterising Earth’s environment on a global scale. EnMAP measures and models key dynamic processes of Earth’s ecosystems by extracting geochemical, biochemical and biophy

  • Earth & Environment
  • EnMAP
  • Hyperspectral
  • + 2
  • Python
  • Makefile
  • Shell
8
1

Independent Parallel Particle Layer (IPPL)

IPPL is a C++ library to develop performance portable code for fully Eulerian, Lagrangian or hybrid Eulerian-Lagrangian methods. IPPL supports simulations in one to six dimensions, mixed precision, and asynchronous execution in different execution spaces (e.g. CPUs and GPUs).

  • Computational Fluid Dynamics
  • GPU
  • High performance computing
  • + 5
  • C++
  • TeX
  • CMake
  • + 3
23
1
Logo for PeriHub

PeriHub

PeriHub is a platform that provides a numerical implementation of the peridynamic theory. It is an extension of the open source Peridigm software. Peridynamics is a non-local theory that overcomes discontinuity problems of the classical theory of continuum mechanics.

  • Data Visualization
  • High performance computing
  • Modelling
  • + 2
  • Python
  • Vue
  • TypeScript
  • + 7
2
1

PostWRF

PostWRF is a bunch of interactive tools, written in NCL and Bash scripts, to visualize and post-process the WRF and ERA5 model outputs.

  • NCL
  • Shell
  • Python
1
1
Logo for quapps

quapps

is a software package containing a collection of exemplary application implementations based on quark.

  • Discrete Optimization
  • Ising Problem
  • Optimization Problem
  • + 3
  • Jupyter Notebook
  • Python
  • Shell
2
1
Logo for RAYX

RAYX

Optical Simulation Software for Synchrotron Radiation

  • C++
  • open source
  • python
  • + 4
  • C++
  • Python
  • CSS
  • + 8
5
1

SciTS

A tool to benchmark Time-series on different databases.

  • Benchmark
  • Benchmarking
  • database
  • + 3
  • Jupyter Notebook
  • HTML
  • C#
  • + 2
1
1

wps-command-line-tool-repository

A wrapper framework around the WPS 4.0 server by 52° North to allow easy integration of command line scripts into WPS services.

  • Earth & Environment
  • Remote Procedure Calls
  • Web Processing Service
  • Java
  • Scheme
  • Python
  • + 3
2
1
Logo for Arbor

Arbor

Arbor is a high-performance library for computational neuroscience simulations with multi-compartment, morphologically-detailed cells, from single cell models to very large networks. Arbor is written from the ground up to help neuroscientists effectively use contemporary and future HPC systems.

  • GPU
  • High performance computing
  • Neural network
  • + 4
  • C++
  • AGS Script
  • Python
  • + 7
11
0