-
bigSCale2
Framework for clustering, phenotyping, pseudotiming and inferring gene regulatory networks from single cell data. -
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 -
CLARIAH/grlc 1.1
grlc is a lightweight server that takes SPARQL queries curated in GitHub repositories, and translates them to Linked Data Web APIs. This enables universal access to Linked Data.... -
Data and outputs for Selene manuscript case 2
Case 2: Developing a new architecture and comparing performance across architectures. chromatin_profiles: ENCODE and Roadmap Epigenomics profiles used in DeepSEA (Zhou &... -
Isabelle/DOF
Isabelle/DOF is a Document Ontology Framework (DOF), on top of Isabelle/HOL, allowing to annotate text elements in formal developments with structured, typed meta-information... -
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. -
Cytometry analysis pipeline for large and complex datasets (CAPX)
The Cytometry Analysis Pipeline for large and compleX datasets (CAPX) is workflow for discovery analysis of high-dimensional cytometry data. Specifically the CAPX workflow is... -
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... -
Optimal Management Of A Stochastically Varying Population When Policy Adjustm...
This compendium includes the code, data, documentation, metadata and manuscript source files that accompany this research, organized in the R package format.