-
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... -
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... -
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/). -
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:... -
r37980778c78--87ce8dff8d7ddfebacfbbe6674f53db9
GEOS-Chem 12.6.3 25 Nov 2019 This feature adds more minor fixes for issues discovered after the 12.6.1 release. GCHP bug fix: Make sure the MAPL pointer for UVALBEDO is valid... -
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...