-
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 -
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,... -
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:... -
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... -
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... -
Immpload - Immport upload preparation
Immpload - Immport upload preparation immpload converts input data files into files formatted from Immport upload templates. Prerequisites Python3 with... -
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...