-
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 -
Performing Outreach in Archaeology with Agent-based modeling
This code is associated with the forthcoming publication Performing Outreach in Archaeology with Agent-based modeling. A step-by-step guide for using agent-based... -
Hierarchical Generalized Additive Models: an introduction with mgcv
This (in progress) repository includes the code, data, documentation, metadata and figure source files that accompany this research. -
Osm Street Blocks Extraction
This repository contains a Python script (Jupyter notebook) implementing extraction of street blocks from OpenStreetMap (or other sources of vectorial data) using PostGis.