-
Code and data for "A 4,500-year record of palaeomagnetic secular variation an...
Code and data for "A 4,500-year record of palaeomagnetic secular variation and relative palaeointensity from the Tyrrhenian Sea", version 2019-12-29. -
dedup_wf_001--d99329037975de5449204bc11f0c9597
This holds the reference data used in the pufferfish pre-print. This includes a specific version of the human transcriptome, the human genome, and a collection of microbial... -
A'i ymanhar ke kurumĩ rehe pynu ixo. 'A long time ago, an old woman farted ...
The theme of the narrative presented here is also found among other indigenous peoples. The Bororo (macro-jê) version tells of the origin of disease and begins with a... -
dedup_wf_001--fe3dd54064c6c3e1bc72b45bdfb50314
Full version of the log files of the experiments from the paper "Tuning Parallel SAT Solvers". -
vcs_analysis_plugin.jar
This is the pre-compiled JAR file for the Visualization of Methods Changeability Based on VCS Data paper. Supported IntelliJ IDEA versions: 2018.3-2019.1. -
The NAI Engine
This is a version of the NAI engine which accompanies a submission to the ICAIL 2019 conference. Due to the double blind reviewing process, authors names were removed. -
CRAFTY-Brazil Input Maps
Manipulating MapBiomas (version 4) data for land cover maps to use in CRAFTY-Brazil simulation model -
libconfig: A library configuration module
A pandas-inspired library for the management of global variables in libraries. This release includes a way to temporary change option values through a with statement and... -
RustBelt: Securing the Foundations of the Rust Programming Language -- Artifact
This is the artifact accompanying the POPL18 paper "RustBelt: Securing the Foundations of the Rust Programming Language". You can find the latest version of this...