-
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... -
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. -
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. -
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... -
Mapelia and friends
This software was created to help with the development of 3D models of planets, moons and so on, used in the non-profit project A Touch of The Universe on educational... -
Index: Open Source Ios And Android Software For Self-Reporting And Monitoring...
InDEx is a software package for reporting and monitoring alcohol consumption via a smartphone application. Consumption of alcohol is self-reported by the user, and the app... -
misingnoglic/qbi_mass_spectrometry: Beta Release
Software backed by machine learning to analyze mass spectrometry data. -
A Qcow2 Virtual Machine Image For The Installation Of The Dcos Container Orch...
This is a CentOS-based virtual machine image that has all the dependencies and it is configured to facilitate the installation of DCOS. DC/OS is a distributed... -
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... -
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...