-
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 -
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.
