-
A general proof certification framework for modal logic - Implementation
This archive contains the lambda-prolog implementation of a general proof certification framework for modal logic -
Graphit-Dsl/Graphit: Initial Release To Make The Artifact Available For Oopsla18
Initial release to make the artifact available for OOPSLA18. -
Scalable Cache-Based Address Resolution Protocol Handling in Software-Defined...
This upload contains an implementation for the paper “Scalable Cache-Based Address Resolution Protocol Handling in Software-Defined Networks”. It consists of a... -
Artifact (Software + Dataset) For "The Impact Of Regular Expression Denial Of...
# Ecosystem-scale regexp study Welcome to the FSE'18 artifact for the ESEC/FSE paper "The Impact of Regular Expression Denial of Service (ReDoS) in Practice: an... -
Sentinelflow: automated satellite image workflow for Sentinel-2
Search, download and patch Copernicus Sentinel-2 data into appealing color images. Colors are adapted to human perception and fit for dark oceans as well as bright snow... -
Sternheimergw V0.13
This is a pre-release of SternheimerGW that goes along with the recent pre-release version of Quantum ESPRESSO https://github.com/QEF/q-e/releases/tag/v6.2-beta It includes an... -
emgr - Empirical Gramian Framework (2.0)
emgr - EMpirical GRamian framework for model reduction of (nonlinear) input-output systems. More information at: https://gramian.de -
TUBYDI- Assistir Filmes e Séries online grátis
Se você não planeja Ouvir musicas, o App "Tubydi" é a melhor opção, pois é semelhante ao Tubydi Ocplus, mas não... -
SasView version 5.0.1
New in Version 4.2.0 -------------------- This release heralds many improvements and a host of bug fixes, along with some significant changes from previous versions. Further, as... -
sebastientourbier/multiscalebrainparcellator: Multi-Scale Brain Parcellator v...
This the beta release of the Multi-Scale Brain Parcellator v1.0.0 with valid .zenodo.json file and valid orcid -
Osm Street Blocks Extraction
This repository contains a Python script (Jupyter notebook) implementing extraction of street blocks from OpenStreetMap (or other sources of vectorial data) using PostGis. -
r37980778c78--2ec83c180491eb31a68d5a1b59899028
emgr - EMpirical GRamian framework for model reduction of (nonlinear) input-output systems. More information at: https://gramian.de -
Raspi-Camera Top-Down Plant Imaging (12X) Config V1.0
Configuration for time-lapse top-down photography. This is a minor update. Two of the helper scripts now print progress indicator messages. All other changes were... -
BART: version 0.2.08
Changes: new tools: index poly wshfl zexp index: generate indices poly: generate polynomial patterns (Siddharth Iyer) wshfl: wave-shuffling (Siddharth Iyer) zexp: replace...