4 items found

Types: software Groups: Datacite Tags: 59999 Environmental Sciences not elsewhere classified 69999 Biological Sciences not elsewhere classified Cancer Molecular Biology Plant Biology Science Policy

Filter Results
  • software

    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
  • software

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

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

    Colour 0.3.12

    Colour Science for Python Colour is a Python colour science package implementing a comprehensive number of colour theory transformations and algorithms. It is...