All software
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
evidence
doc2vec-based assisted close reading with support for abstract concept-based search and context-based search
- Text analysis & natural language processing
- CSS
- Dockerfile
- Go
- + 5
howfairis
Command line tool to analyze a git repository's compliance with the fair-software.eu recommendations.
- Dockerfile
- HTML
- Python
- + 1
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
Noodles
Task-based parallel programming model in Python that offers the same intuitive interface when running complex workflows on your laptop or on large computer clusters.
- High performance computing
- Workflow technologies
- HTML
- Jupyter Notebook
- Lua
- + 2
Hercules
Retrieve recent tweets from certain users and classify them with machine learning
- Machine learning
- Text analysis & natural language processing
- Jupyter Notebook
- Python
- Shell
ToxTempAssistant
LLM-based web-app to assist users in drafting ToxTemp, a template for describing in-vitro toxicity test methods in compliance with GD211.
- metadata
- Dockerfile
- HTML
- JavaScript
- + 4
WEARDA
WEARDA: recording wearable sensor data for human activity monitoring.
- embedded software
- GPS
- Human activity monitoring
- + 4
- C
- TeX
Xenon gRPC server
Run applications remotely via a gRPC interface.
- High performance computing
- Java
Network structures
A draft model with some useful code for creating different network structures using the Netlogo NW extension: small-world, preferential attachment, circular, star, wheel, lattice, random, nearest neighbours.
Artifact for the Paper "Fast Verified SCCs for Probabilistic Model Checking"
Artifact for the Paper "Fast Verified SCCs for Probabilistic Model Checking"
- Correct-by-construction
- Gabow
- IRF
- + 13