All software
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
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
swiftmhc
SwiftMHC is a deep learning algorithm for predicting pMHC structure and binding affinity at the same time.
- deep learning
- Protein-Protein Interaction
- Transformer
- Python
- Jupyter Notebook
- Mask
- + 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
- Java
- JavaScript
- GAP
- + 17
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
- Python
- Jupyter Notebook
- Shell
wps-command-line-tool-repository
A wrapper framework around the WPS 4.0 server by 52° North to allow easy integration of command line scripts into WPS services.
- Earth & Environment
- Remote Procedure Calls
- Web Processing Service
- Java
- Scheme
- Python
- + 3
WRF-runner
Simple shell script to run a complete WPS/WRF experiment in one go
- climate
- Forecasting
- workflow
- + 1
- Shell
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
- Other
- C
- JSON
- + 5
Artifact for the paper "Efficient Formally Verified Maximal End Component Decomposition for MDPs"
Artifact for the paper "Efficient Formally Verified Maximal End Component Decomposition for MDPs"
- Correct-by-construction
- Interactive Theorem Proving
- Maximal End Components
- + 3
- Other
- XML
- JSON
- + 6
Artifact of Knor: reactive synthesis using Oink
Artifact of Knor: reactive synthesis using Oink
- binary decision diagrams
- parity games
- reactive synthesis
- Other
- C
- HTML
- + 15
Artifact to the paper "A Fast and Verified Probabilistic Model Checking Pipeline for Minimal Reachability Probabilities"
Artifact to the paper "A Fast and Verified Probabilistic Model Checking Pipeline for Minimal Reachability Probabilities"
- Correct-by-construction
- Interactive Theorem Proving
- Markov decision process
- + 1
- Other
- C
- C++
- + 4
complex_stylized_supply_chain_model_generator
Code: Complex Stylized Supply Chain Model - Automatic Graph Generator
- graph generator
- model
- Simulation
- + 1
- Python
- Other
- JSON
- + 1