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