All software
Generics library for datatype-generic programming in Agda
Generics library for datatype-generic programming in Agda
- Agda
- Dependent Types
- Generic Programming
- + 2
sse-akf-directional-waves-pem
Code underlying the publication: Unidirectional and multi-directional wave estimation from ship motions using an Adaptive Kalman Filter with the inclusion of varying forward speed
- Adaptive Kalman filter
- Sea state estimation
- Ship motion responses
- + 1
- (Markdown)
- (Other)
- (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)
atoMEC
atoMEC is a python-based average-atom code for simulations of high energy density phenomena such as in warm dense matter. It is designed as an open-source and modular python package.
- Matter
- Python
- Shell
AutoPQ
Automated point forecast-based quantile forecasts
- Energy
- ESD
- ESD - Topic 2
- + 3
- Python
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
- (CSS)
- (HTML)
- (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)
Climate Rapid Evaluation Framework
Rapid Evaluation Framework for climate simulations
- Big data
- Climate modeling
- (Dockerfile)
- ("Go Template")
- (HTML)
- + 6
correspSearch
With correspSearch you can search within the metadata of diverse scholarly editions of letters. One can search according to the letter's sender, adressee, as well as place and date of the letter's creation.
- correspondence
- data modell
- metadata
- + 3
Digital Earth Viewer
The Digital Earth Viewer is a tool for the visualisation and exploration of geospatial data in true 3D over time. It runs on Windows, MacOS and Linux and only requires a modern webbrowser to use. Common file formats such as CSV, netCDF, GeoTIFF and many more are natively supported.
- Data Visualization
- Earth & Environment
- Environmental Data
- + 1
- Rust
- JavaScript
- TypeScript
- + 2