Skip to main content
Ctrl K

All software

366 software items. Page 12 of 31. 12 items per page. 1 filters active.
133-144 of 366

Review Argumentation at Scale

This package contains a scalable pipeline to perform argument reasoning on a dataset of product reviews, to identify the highest quality ones. By tuning both lossy and lossless parameters, it is possible to tune the pipeline to foster the accuracy of the computation or its speed.

  • OpenEdge ABL
  • Prolog
  • Python
  • + 1
2
1

self-hosted runners

Collection of resources to set up GitHub runners on self-hosted infrastructure

  • High performance computing
  • Dockerfile
  • Shell
5
1

SimVascular

The only fully open source software package providing a complete pipeline from medical image data segmentation to patient specific blood flow simulation and analysis.

  • Cardiovascular
  • Fluid mechanics
  • Medical image computing
  • + 1
  • Batchfile
  • C
  • C++
  • + 9
4
1

sirup

Sirup is an open-source Python package that makes it easy to connect to, and rotate across, VPN servers provided by services such as ProtonVPN and Surfshark.

  • ip-rotation
  • openvpn
  • python
  • + 1
  • Python
  • Shell
1
1

snakemake-wrf

A snakemake workflow to run WRF, including pre- and postprocessing. See our blog post for a detailed description.

  • geospatial
  • High performance computing
  • python
  • + 1
  • Jupyter Notebook
  • Python
  • Shell
2
1

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
5
1

Umple

Umple allows generation of code in Java, PHP and other languages from a textual representation of UML state machines, associations and other modeling constructs, thus saving coding effort

  • Code Generation
  • Software Modeling
  • State Machines
  • + 1
  • Batchfile
  • C++
  • CSS
  • + 19
14
1

WAM2layers

WAM2layers is an atmospheric moisture-tracking model that can be used to determine where precipitation originally evaporated (backtracking), or where evaporated moisture eventually ends up (forward tracking).

  • atmospheric rivers
  • ERA5
  • hydrological cycle
  • + 4
  • Jupyter Notebook
  • Python
  • Shell
4
1

WRF-runner

Simple shell script to run a complete WPS/WRF experiment in one go

  • climate
  • Forecasting
  • workflow
  • + 1
  • Shell
2
1

abstraction-mpc-integration

Code for publication: Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization

  • Abstraction
  • formal methods
  • Hybrid Systems
  • + 3
  • CSS
  • HTML
  • JavaScript
  • + 4
5
0

AmpliDiff

Code underlying the publication: "AmpliDiff: An Optimized Amplicon Sequencing Approach to Estimating Lineage Abundances in Viral Metagenomes"

  • Abundance Estimation
  • Amplicon Sequencing
  • Primer Design
  • + 1
  • C
  • Markdown
  • Other
  • + 3
3
0

Artifact for the paper "A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs"

Artifact for the paper "A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs"

  • Correct-by-construction
  • Floating-point
  • IEEE 754
  • + 6
  • C
  • C++
  • JSON
  • + 5
5
0