All software
Cheetah
Fast and differentiable particle accelerator optics simulation for reinforcement learning and optimisation applications.
- Automatic Differentiation
- Differentiable Programming
- Differentiable Simulation
- + 7
- Python
cppTango
Tango Distributed Control System - C++ library TANGO is an object-oriented distributed control system. In TANGO all objects are representations of devices, which can be on the same computer or distributed over a network. Communication between devices can be synchronous, asynchronous or event driven.
- C++
- DCS - Distributed Control System
- SCADA - Supervisory Control and Data Acquisition
- C++
- CMake
- Python
- + 2
Automating Requirements and Documentation Comprehension (ARDoCo)
Automating Requirements and Documentation Comprehension (ARDoCo) is a framework to connect architecture documentation, requirements, and models while identifying missing or deviating elements (inconsistencies). An element can be any representable item of the model like a software component.
- Consistency
- Documentation
- Inconsistency Detection
- + 6
- Java
- ANTLR
- Markdown
- + 3
venco.py
A tool to derive battery electric vehicle energy demands from given trip data. venco.py provides normalized, aggregated electric vehicle fleet demand profiles for two cases: Uncontrolled charging and a technical (mobility-constrained) potential for controlled charging including vehicle-to-grid.
- electricity
- electric vehicles
- Flexibility
- + 2
- Python
LiberTEM
LiberTEM is an open source platform for high-throughput distributed processing of large-scale binary data sets and live data streams using a stream-based programming model. The current focus is pixelated scanning transmission electron microscopy (4DSTEM) and scanning electron beam diffraction data.
- 4D STEM
- electron microscopy
- high-throughput
- + 3
- Python
- TypeScript
- JavaScript
- + 6
Oligo Designer Toolsuite
Oligo Designer Toolsuite is a collection of modules that provides all basic functionalities for custom oligo design pipelines as well as advanced experiment-specific functionalities like machine learning models for oligo specificity prediction within a flexible Python framework.
- bioinformatics
- oligonucleotide design
- Probe Design
- + 1
- Python
- Jupyter Notebook
Representation of Protein Entities (RoPE)
RoPE clusters related protein structures on torsion angles to derive an interpretable, mathematical conformational space of that protein, revealing relevant protein dynamics.
- C++
- Data analysis
- Data Visualization
- + 4
- C++
- C
- GLSL
- + 4
Spin-Dependent 5th Force Limits
This is an open research software and data platform for compiling, standardizing, and visualizing constraints on spin-dependent exotic interactions beyond the Standard Model. It provides a unified, reusable, and citable framework for comparing results across experiments and parameter spaces.
- Beyond Standard Model physics
- Data compilation
- FAIR Software
- + 4
- Jupyter Notebook
- MATLAB
- HTML
- + 2
calibr8
calibr8 is a Python toolbox for likelihood-based calibration modeling and Bayesian inference. It supports uni- and multivariate problems, continuous & discrete distributions and includes ready to use models for many non-linear problems. It integrates with PyMC for advanced Bayesian inference.
- Calibration
- Data analysis
- Earth & Environment
- + 4
- Python
ChASE
ChASE is a modern and scalable library to solve dense Hermitian (Symmetric) algebraic eigenvalue problems based on a spectral polynomial filter. The library is fully parallelized, and is particularly effective for sequences of eigenproblems as they often arise in electronic structure theory.
- C++
- Eigensolver
- GPU
- + 6
- C++
- Cuda
- Fortran
- + 5
CorC
With CorC, we implemented an IDE to create programs following the Correctness-by-Construction approach. Starting with an abstract specification, CorC supports CbC developers in refining a program by a sequence of refinement steps and in verifying the correctness of these refinements.
- Eclipse
- WebCorC
- Java
- ANTLR
Mallob
Automated Reasoning in HPC and Cloud Environments: Scheduling, Solving, Proving
- automated reasoning
- High performance computing
- job scheduling
- + 2
- C++
- Shell
- Python
- + 3