-
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 -
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... -
Arcticcritter
Arcticcritter is a prototype webbased data exploration and retrieval tool build to showcase visualization techniques and to enable user-driver demand analysis for... -
Unittest - R Package
Concise TAP compliant unit testing package. Authored tests can be run using CMD check with minimal implementation overhead. -
RSeqAn: Headers and wrappers for the SeqAn library in R
This package provides R with access to SeqAn v2.4 header files. SeqAn is an open source C++ library of efficient algorithms and data structures for the analysis of... -
r37980778c78--97d0a52e5b396c15f61aff3030b1e46e
Includes compiled standalone apps for Apple Mac OSX (BeamformingAlgComp_Listen_v1_MAC.zip) and Windows (BeamformingAlgComp_Listen_v1_WIN.zip). Just extract the file and run the... -
Split4Blank: a software to split an RDF graph with blank nodes
A software to split an RDF graph in N-Triples format into multiple files under the condition that identical blank nodes are not separated. -
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" -
UpdateKnowledge Rule
This Code represents the AsmetaL specification for updating the knowledge of the intruder. -
Effective GDP optimization models for modular process synthesis
Pyomo model files and Excel input files to support manuscript submission. -
Cyberbridge_GUI
This is the GUI developed in Matlab for the Cyberbridge project presented and implemented in the Structural Engineering course at Chalmers University of Technology. -
r37980778c78--19cf6e3d9e012587bc62b03e78895e06
A Java adaptation of the Riot Games League of Legends API (https://developer.riotgames.com/). -
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. -
The GIS4WRF Plugin
GIS4WRF is a free and open source QGIS plug-in to help researchers and practitioners with their Advanced Research Weather Research and Forecasting modelling... -
r37980778c78--caa790c568c500dd6c578cddf347230f
Top Topics Portlet shows the top topics in the scope where is deployed. Support Bugs and support requests can be reported in the gCube issue tracking tool:...