All software
PSSMGen
Generates consistent PSSM and PDB files for protein-protein complexes
- Big data
- High performance computing
- Optimized data handling
- Makefile
- Python
PowerSensor3
PowerSensor is a low-cost, custom-built device that measures the instantaneous power consumption of GPUs and other devices at a high time resolution.
- GPU
- High performance computing
- C
- C++
- CMake
- + 3
eAstroViz
This tool can convert and visualize radio astronomy measurement sets, as well as most LOFAR intermediate data products. It also performs RFI mitigation.
- LOFAR
- radio astronomy
- RFI
- C
- C++
- Cuda
- + 3
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
- FAIR Software
- + 2
- Fortran
- CMake
- Perl
- + 6
LARA Lab Automation
Open source toolset for lab automation
- laboratory automatization
- CSS
- Dockerfile
- HTML
- + 5
LUE
LUE is software for storing and manipulating large amounts of information for large numbers of objects. The software is useful, and currently mainly used, in the context of environmental modelling of biological and physical systems, represented by agents and fields.
- Agent-based modeling
- environmental modelling
- field based modelling
- + 6
- Batchfile
- C
- C++
- + 6
Climate Rapid Evaluation Framework
Rapid Evaluation Framework for climate simulations
- Big data
- Climate modeling
- CSS
- Dockerfile
- Go Template
- + 6
Data Analytics Software Project - Python bindings
Python RPC wrapper for the data analytics software framework DASF
- Data analysis
- Data Analytics Software Framework (DASF)
- Digital Earth
- + 4
- Python
- Jinja
- BibTeX
- + 1
Entangled
Entangled makes literate programming easier. It keeps markdown and program source in sync. This makes it more convenient to extend and debug your literate code.
- Literate Programming
- open science
- python
- + 2
- C
- C++
- Jinja
- + 3
SalientDetector-python
If you want to automate your object detection or photo-identification image tasks in an easy way with free open-source software, the SalientDetector-Python is the tool for you
- Image processing
- Jupyter Notebook
- Makefile
- Python
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
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