All software
Generics library for datatype-generic programming in Agda
Generics library for datatype-generic programming in Agda
- Agda
- Dependent Types
- Generic Programming
- + 2
group-trip-planning
Code underlying the publication: When in Doubt! Understanding the Role of Task Characteristics on Peer Decision-Making with AI Assistance
- Empirical Studies
- Group Decision-Making
- Human-AI Decision-Making
- + 5
- Other
- Python
- JSON
- + 4
Script underlying the paper "On Robustly Convergent and Efficient Iterative Methods for Anisotropic Radiative Transfer"
Script underlying the paper "On Robustly Convergent and Efficient Iterative Methods for Anisotropic Radiative Transfer"
- acceleration
- anisotropic
- preconditioning
- + 3
scv_sparse_data
Code: Calculate Supply Chain Visibility with Sparse Data
- sparse data
- supply chain
- supply chain visibility
- Other
- Jupyter Notebook
- Python
Supplementary data for the paper 'From A to B with Ease: User-Centric Interfaces for Shuttle Buses'
Supplementary data for the paper 'From A to B with Ease: User-Centric Interfaces for Shuttle Buses'
- Micro-mobility
- Shuttle bus
- User Interface
- + 1
Supplementary materials for the paper: On Senders’s Models of Visual Sampling Behavior
Supplementary materials for the paper: On Senders’s Models of Visual Sampling Behavior
- bandwidth
- Computer simulation
- replication
- + 2
AstronomicAL
An interactive dashboard for visualisation, integration and classification of data using Active Learning.
- Active Learning
- Classification
- Data Analysis
- + 11
- Python
- TeX
Beyond the book
Measure the number of contributions to Wikipedia entries from individuals from different counties as a measure of cultural bias.
- Text analysis & natural language processing
- Jupyter Notebook
- Python
- JavaScript
- + 2
chimp-classifier
The Python package `junglesounds` is a machine learning pipeline for classifying bioacoustic data using machine learning. The pipeline is reusable for other settings and species or vocalization types as long as a certain amount of labeled data has been collected.
- audio
- Audio processing
- bioacoustics
- + 2
- Jupyter Notebook
- Python
- Shell
Emma
Emma is a project to create a platform for development of application for Spark and DockerSwarm clusters.
- Big data
- Shell
- Scala
- Python
- + 1
eOSSR
The eOSSR is the Python library to programmatically manage the ESCAPE OSSR.
- jupyter-notebook
- repository
- research software
- + 2
- Python
- Dockerfile
Introduction to Geospatial Raster and Vector Data with Python
This lesson material shows how practical geospatial data analysis tasks can be carried out using Python
- Data Analysis
- geospatial
- Image processing
- + 4