-
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 -
Arcticcritter
Arcticcritter is a prototype webbased data exploration and retrieval tool build to showcase visualization techniques and to enable user-driver demand analysis for... -
r37980778c78--5a6410a3fac90597c7418d373a37d8b4
Interact with the Global Biodiversity Information Facility API from Julia -
r37980778c78--b9a59907fcc05c8dfc7892d6618e4ce4
Interact with the Global Biodiversity Information Facility API from Julia -
GBIF.jl - a Julia package to access biodiversity data
Interact with the Global Biodiversity Information Facility API from Julia