-
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/). -
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--19cf6e3d9e012587bc62b03e78895e06
A Java adaptation of the Riot Games League of Legends API (https://developer.riotgames.com/). -
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... -
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... -
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... -
A∗ Search and Bound-Sensitive Heuristics for Oversubscription Planning: The P...
A* search-based planner for Oversubscription Planning, as described in the paper A∗ Search and Bound-Sensitive Heuristics for Oversubscription Planning... -
r37980778c78--5a6410a3fac90597c7418d373a37d8b4
Interact with the Global Biodiversity Information Facility API from Julia -
r37980778c78--b9a59907fcc05c8dfc7892d6618e4ce4
Interact with the Global Biodiversity Information Facility API from Julia -
r37980778c78--ae0f6df66a8d9d8ff2435b21c99b8001
A Java adaptation of the Riot Games League of Legends API (https://developer.riotgames.com/). -
Extracting Terms Concerning Ai Based On Web Of Science Data
This is the accompanied code to extract terms connected to AI through titles and abstracts from Web of Science data. -
Neon Nist Data Science Evaluation Challenge: Methods And Results Of Team Shawn
This is the code to implement a canopy height model for a submission to the data science competition NIST DSE Plant Identification with NEON Remote Sensing Data. More... -
GBIF.jl - a Julia package to access biodiversity data
Interact with the Global Biodiversity Information Facility API from Julia