Ctrl K

All software

1Filter
Keywords
204
Program languages
90
Licenses
22
37-48 of 67

SciTS

A tool to benchmark Time-series on different databases.

  • Benchmark
  • Benchmarking
  • database
  • + 3
  • Jupyter Notebook
  • HTML
  • C#
  • + 2
1
1
Logo for Tamarin Prover

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
  • + 11
1
1
Logo for Alise

Alise

The Account LInking SErvice (ALISE) is a tool to link accounts at a service. The goal is to enable federated services at sites that do not yet support federated identities.

  • AAI
  • Helmholtz AAI
  • hpc
  • + 3
  • Python
  • HTML
  • Makefile
2
0

FAIRCORE4EOSC

FAIRCORE4EOSC: Beta Release Demo (Archive, Reference, Describe, Cite)

  • Codemeta Converter
  • Codemeta Crosswalk
  • Codemeta.json
  • + 5
  • PHP
  • Blade
  • CSS
  • + 3
1
0
Logo for Chemotion ELN

Chemotion ELN

Chemotion ELN is an Open Source electronic lab notebook (ELN) for scientists working in chemistry and colleagues from neighboring disciplines, developed and updated at KIT. The web-based application allows the acquisition, management, storage, processing, and sharing of research data.

  • Chemistry
  • Electronic Lab Notebook
  • Experimental Sciences
  • + 2
  • JavaScript
  • Ruby
  • SCSS
  • + 5
0
0

Earthquake Explorer

Up-to-date information and essential background knowledge about earthquakes. Users can access, explore, and analyze earthquake data from around the world by the Earthquake Explorer in a mobile optimized modern web platform.

  • Earth & Environment
  • Information
  • python
  • Python
  • JavaScript
  • HTML
  • + 2
12
0

eCLM

The enCore Community Land Model (eCLM) is based on the Community Land Model version 5, representing land surface processes including hydrology, biogeophysics, biogeochemistry and ecosystem dynamics.

  • Biogeochemistry
  • Earth System Modelling
  • Land Surface Modelling
  • Fortran
  • CMake
  • Perl
  • + 6
5
0

eGSIM

A Python library and web application to select and test Ground Motion models. Online at: https://egsim.gfz-potsdam.de

  • Flatfile
  • Geohazards
  • Ground motion model
  • + 1
  • Python
  • JavaScript
  • HTML
  • + 1
2
0
Logo for FishInspector

FishInspector

The software FishInspector provides automatic feature detections in images of zebrafish embryos (body size, eye size, pigmentation). It is Matlab-based and provided as a Windows executable (no matlab installation needed).

  • Earth & Environment
  • image feature detection
  • pattern recognition
  • + 1
  • MATLAB
  • HTML
0
0
Logo for Frida - fast reliable inelastic data analysis

Frida - fast reliable inelastic data analysis

Legacy software for quasielastic neutron scattering data analysis.

  • Data analysis
  • Photon and neutron science
  • Work bench
  • PostScript
  • C++
  • JavaScript
  • + 2
1
0
Logo for GR Framework

GR Framework

GR is a framework for cross-platform visualization applications for interactive plots or live displays of instruments. GR can easily be embedded in Qt applications or Jupyter notebooks. It can produce publication quality plots and provides interfaces for C, Julia, Python, Rust and JS.

  • C++
  • Data analysis
  • Data Visualization
  • + 3
  • C
  • C++
  • CMake
  • + 15
0
0
Logo for Habitat Sampler

Habitat Sampler

Habitat Sampler (HaSa, Community Version), an innovative tool that autonomously generates representative reference samples for predictive modelling of surface class probabilities.

  • autonomous sampling
  • Earth & Environment
  • image classification
  • + 1
  • HTML
  • R
  • Shell
0
0