-
Nay PLDI20 artifact
The artifact of Nay, a synthesizer which can prove unrealizability of unrealizable SyGuS problems. More detail can be found in https://arxiv.org/abs/2004.00878 -
[Artifact] BOLT: Optimizing OpenMP Parallel Regions with User-Level Threads
PACT '19: Artifact of BOLT This is the artifact of the following paper: Shintaro Iwasaki, Abdelhalim Amer, Kenjiro Taura, Sangmin Seo, and Pavan Balaji, "BOLT: Optimizing... -
Software used in 'Testing'
This records collates DOIs for the software components used in 'Testing'. The Firedrake components and dependencies used were: COFFEE (A Compiler for Fast Expression... -
Orianna
A Java adaptation of the Riot Games League of Legends API (https://developer.riotgames.com/). -
Code from the paper "Counterexample-guided Cartesian Abstraction Refinement f...
The zipfile contains revision 837b876fa51d of the Fast Downward planning system (http://fast-downward.org). The code for counterexample-guided Cartesian abstraction... -
Software used in 'The scaling and skewness of optimally transported meshes on...
This records collates DOIs for the software components used in 'The scaling and skewness of optimally transported meshes on the sphere'. The Firedrake components and... -
Computing Linear Restrictions of Neural Networks
This repository contains the source code corresponding to our paper "Computing Linear Restrictions of Neural Networks" at NeurIPS 2019. Please see... -
CDNest: A diffusive nested sampling code in C
This is a C version of diffusive nested sampling code developed by Brendon Brewer (https://github.com/eggplantbren/DNest3), but with minor modifications. -
Dealii: Deal.Ii Version 8.4.2
The major changes of this release are: Parallel triangulations can now be partitioned in ways that allow weighting cells differently. Improved support for complex numbers... -
gap-packages/Semigroups: 3.0.2
This is an minor release fixing some minor issues in the last release. The following issues were resolved: Issue 330 InversesOfSemigroupElement some times returned an... -
pdebuyl-lab/tidynamics: tidynamics release 1.0.1
Associated to JOSS publication https://doi.org/10.21105/joss.00877 -
PNNL-PREMIS/PREMIS-ghg: Biogeosciences final version
Release version cited in BG paper, https://doi.org/10.5194/bg-2019-218 -
straditize: Digitizing stratigraphic diagrams
STRADITIZE (Stratigraphic Diagram Digitizer) is an open-source program that allows stratigraphic figures to be digitized in a single semi-automated operation. It is designed to... -
Software used in 'Solver composition across the PDE/linear algebra barrier'
This records collates DOIs for the software components used in 'Solver composition across the PDE/linear algebra barrier'. The Firedrake components and dependencies used were:... -
Wrangling Messy CSV Files by Detecting Row and Type Patterns
This is the first official release of the code used to create the results of the following paper: van den Burg, G.J.J., Nazábal, A. & Sutton, C. Data Min Knowl... -
Jsglr2
This archive contains a snapshot of JSGLR2, a modular Java implementation of the SGLR parsing algorithm, which is integrated in Spoofax. It is developed for the Master... -
A∗ Search and Bound-Sensitive Heuristics for Oversubscription Planning: The P...
A* search-based planner for Oversubscription Planning, as described in the paper A∗ Search and Bound-Sensitive Heuristics for Oversubscription Planning... -
Wikidata-Toolkit RDF diff comparision
Dateien zur Reproduktion eines Vergleichs zwischen Wikidata-Toolkit und Wikidata RDF-Exporten. Die beiden Dumps, welche verglichen wurden: JSON:... -
Initial elevation bias analyses https://rubenarslan.github.io/initial_elevati...
Initial elevation bias in subjective reports Replicating and extending Shrout et al. (2017). Authors: Ruben C. Arslan, Julie Driebe, Tanja Gerlach, & Lars Penke. -
Edamontology/Edamontology: Edam 1.20
See the improved changelog-detailed.md for a detailed list of semantic changes in the EDAM ontology. Summary of changes 20 formats added (listed in...