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
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
nanomesh
Python workflow tool for generating meshes from 2D and 3D microscopy image data
- Image processing
- Visualization
- Workflow technologies
- ("Jupyter Notebook")
- (PowerShell)
- (Python)
- + 1
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)
PerfectFit
This is a virtual coach system that coaches users into being more physically active and stop smoking.
- Big data
- health
- (Gherkin)
- (JavaScript)
- (Shell)
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