All software

1Filter

Order by

Keywords

122

Program languages

Licenses

37-42 of 42

RAYX

Optical Simulation Software for Synchrotron Radiation

C++
open source
python
+ 2

C++
Python
CSS
+ 7

RCE

RCE is a distributed integration environment for scientists and engineers to analyze, optimize, and design complex systems like aircraft, ships, or satellites.

Aeronautics, Space and Transport
collaboration
Distributed Execution
+ 3

Java
HTML
Gherkin
+ 8

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

simona

This package implements infrastructures for ontology analysis by offering efficient data structures, fast ontology traversal methods, and elegant visualizations. It provides a robust toolbox supporting over 70 methods for semantic similarity analysis.

Data analysis
Data Visualization
FAIR Data
+ 3

R
C++
JavaScript
+ 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