All software
ece2cmor3
Process EC-Earth output to publish for CMIP6
- Big data
- High performance computing
- Optimized data handling
- Shell
- Python
IncompressibleNavierStokes
This package implements energy-conserving solvers for the incompressible Navier-Stokes equations on a staggered Cartesian grid. It is based on the Matlab package INS2D/INS3D. The simulations can be run on the single/multithreaded CPUs or Nvidia GPUs.
- HPC
- Scientific machine learning
- Julia
jaspProcess
A JASP implementation of the PROCESS macro for SPSS
- Data Analysis
- Statistics
- Visualization
- R
- QML
MultilayerGraphs.jl
A Julia package for the creation, manipulation and analysis of the structure, dynamics and functions of multilayer graphs.
- Graphs
- Graph Theory
- Hierarchical Graphs
- + 10
- Julia
nlppln
A flexible solution to build text mining workflows that allows you to quickly combine Natural Language Processing tools from different sources.
- Text analysis & natural language processing
- Python
- Common Workflow Language
- Dockerfile
PuReGoMe
Analyzes social media messages for polarity and stance towards governmental COVID-19 measures
- Machine learning
- Social media
- Jupyter Notebook
- Python
- Shell
Turing Data Safe Haven
Data Safe Haven is an open-source framework for creating Trusted Research Environments (TREs) to analyse sensitive data. It provides a set of scripts that will allow you to deploy, administer and use your own TRE on Microsoft Azure cloud.
- Cloud
- cloud storage
- Infrastructure as code
- + 3
- Python
- Shell
- Jinja
- + 3
xtas
the eXtensible Text Analysis Suite
- Text analysis & natural language processing
- Python
- Shell
- Java
[Artifact] Deductive Verification of Parameterized Embedded Systems modeled in SystemC
[Artifact] Deductive Verification of Parameterized Embedded Systems modeled in SystemC
- Deductive verification
- embedded systems
- parameterized systems
- + 2
Code and data underlying the publication: Symmetrization of 2D Polygonal Shapes Using Mixed-Integer Programming
Code and data underlying the publication: Symmetrization of 2D Polygonal Shapes Using Mixed-Integer Programming
- Design
- Digitalization
- Shape optimization
- + 1
- C
- C++
- Other
- + 3
Code complementing the paper "Feasibility Analysis of a Self-Reinforcing Electroadhesive Rotational Clutch"
Code complementing the paper "Feasibility Analysis of a Self-Reinforcing Electroadhesive Rotational Clutch"
- Clutch
- Electroadhesion
- self-reinforcement
- + 2
Code supporting the paper: Sensitivity and feasibility of a one-dimensional morphoelastic model for post-burn contraction
Code supporting the paper: Sensitivity and feasibility of a one-dimensional morphoelastic model for post-burn contraction
- Burns
- Feasibility
- MATLAB
- + 4