Ctrl K

All software

0Filters
Keywords
1109
Program languages
138
Licenses
75
121-132 of 521
Logo for Spin-Dependent 5th Force Limits

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
  • TeX
  • Jupyter Notebook
  • HTML
  • + 4
3
31

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
2
29
Logo for cppTango

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
1
29
Logo for Mallob

Mallob

Automated Reasoning in HPC and Cloud Environments: Scheduling, Solving, Proving

  • automated reasoning
  • High performance computing
  • job scheduling
  • + 2
  • C++
  • SMT
  • Shell
  • + 4
1
29
Logo for ChASE

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
  • CMake
  • + 6
4
27
Logo for LiberTEM

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
23
27

AWI GPT

Four tools - ClimSight, pangaeaGPT, AWI_chatbot, and CMIP6 search - use LLMs to enhance research and operations. pangaeaGPT aids dataset exploration, ClimSight provides location-specific climate insights, AWI_chatbot streamlines internal tasks at AWI, and CMIP6 search improves access to CMIP6 data.

  • AWI Chatbot
  • Climate
  • ClimSight
  • + 6
    5
    25

    ClimSight

    ClimSight is a tool designed to make localized climate information both accessible and actionable. By integrating large language models (LLMs) with geographical and climate data, ClimSight provides users with tailored, location-specific insights essential for a variety of applications.

    • Climate
    • climate modelling
    • ClimSight
    • + 1
    • Python
    • TypeScript
    • CSS
    • + 3
    5
    25
    Logo for Representation of Protein Entities (RoPE)

    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
    4
    25
    Logo for CorC

    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
    5
    24
    Logo for TetraX

    TetraX

    TetraX is a package for finite-element-method (FEM) micromagnetic modeling with the aim of providing user-friendly and versatile micromagnetic workflows. Among other features, it allows to efficiently calculate spin-wave spectra in different magnetic systems of general geometries.

    • finite-element-method
    • magnetization dynamics
    • micromagnetic modeling
    • + 4
    • Python
    • C
    • Cython
    4
    24
    Logo for perun

    perun

    perun is a Python package that calculates the energy consumption of Python scripts by sampling usage statistics from hardware interfaces. It can handle MPI applications, gather data from hundreds of nodes, and accumulate it efficiently.

    • Earth & Environment
    • Energy
    • FAIR Software
    • + 2
    • Python
    2
    22