-
Artifact For "Meminsight: Platform-Independent Memory Debugging For Javascript"
Artifact for FSE'15 paper "MemInsight: Platform-independent memory debugging for JavaScript". For instructions on how to use, see... -
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... -
Somatypus: A Platypus-based variant calling pipeline for cancer data
baezortega/somatypus: somatypus-1.3 https://github.com/baezortega/somatypus -
Analysis pipelines included in "Conbase: a software for unsupervised discover...
This repository contains the analysis pipelines included in "Conbase: a software for unsupervised discovery of clonal somatic mutations in single cells through read... -
MAMMA_Basalts
Steady model for "Magma Ascent Mathematical Modelling and Analysis" (https://github.com/demichie/MAMMA). This version includes a crystallization model for basaltic... -
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... -
rgeirhos/object-recognition: zenodo-sync-release
First release to enable synchronisation with Zenodo. This repository contains code, data and materials for the paper "Comparing deep neural networks against humans: object... -
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... -
Prophane v3.3.0
Tool for the automatic annotation of proteomic search results with taxonomic and functional information. Source repository: https://gitlab.com/s.fuchs/prophane -
Matlab code and simulated data for paper ""Distributed Zeroth Order Optimizat...
This is a Matlab code and simulated matlab data for paper “Distributed Zeroth Order Optimization Over Random Networks: A Kiefer-Wolfowitz Stochastic Approximation... -
tensorQTL
GPU-based QTL mapper described in https://genomebiology.biomedcentral.com/articles/10.1186/s13059-019-1836-7. GitHub... -
Code used for the paper "Cross-asset holdings and the interbank lending market"
These are the Matlab files used for computing the results disaplayes in the article "Cross-asset holdings and the interbank lending market"(availalble at:... -
NationalGenomicsInfrastructure/piper: v1.4.0
The release notes for this release are available here: https://github.com/NationalGenomicsInfrastructure/piper/releases/tag/v... This release "re-tags" 70eb84f to allow Zenodo... -
libsncompress: efficient and reproducible Python utility for compressing supe...
The Python package libsncompress implements the linear compression method described in the paper "Application of Bayesian graphs to SN Ia data analysis and... -
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...
