-
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 -
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... -
Arcticcritter
Arcticcritter is a prototype webbased data exploration and retrieval tool build to showcase visualization techniques and to enable user-driver demand analysis for... -
RhizoVision Analyzer: Software for high-throughput measurements from images o...
RhizoVision Analyzer was developed for use with the RhizoVision Crown phenotyping platform. The hardware platform suspends root crowns in front of a backlight with a monochrome... -
r37980778c78--bb266b2c839a9ebb2df514e734ba683a
Artifact for the ICSE'20 paper "Practical Fault Detection in Puppet Programs" -
AudioMoth-Firmware-Basic-1.1.0
Basic firmware for AudioMoth devices, usable in conjunction with the AudioMoth-Project framework. Compatible with the AudioMoth Configuration app. For usage instructions,... -
Introductory Practical Software Engineering Course - Project Template
Project template for the introductory practical software engineering course of the Software Engineering Group at the University of Stuttgart. -
Supplementary material for: "Efficient Static Analysis and Verification of Fe...
Examples of Features Transition Systems, and python code performing the static analysis, related to the examples described in the paper: "Static Analysis of... -
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... -
OpenScienceMOOC/Module-1-Open-Principles 1.0.0
First release for Module 1 of the Open Science MOOC. See also content on YouTube. -
Code from the paper "Subset-Saturated Cost Partitioning for Optimal Classical...
The zipfile contains an extended version of the Fast Downward planning system (http://fast-downward.org). The code for subset-saturated cost partitioning can be found in the...