Stars
A library of published compartmental epidemic models, and classes to represent demographic structure, non-pharmaceutical interventions, and vaccination regimes, to compose epidemic scenarios.
PyPSA-GB: An open source model of the GB transmission network for simulating future energy scenarios
Wasm code splitting with lazy async loading
Repository of Typst templates for Quarto
A collaborative environment for formal, interoperable, conceptual modeling
Zotero plugin to automatically move attachments and link them
Simplest simulation to use non-Exponential transitions
Helper application for Linux distributions serving as a kind of "entry point" for running and integrating AppImages
Emacs minor mode to automatically balance window margins
A little Python script to collect LaTeX sources for upload to the arXiv.
A framework for applied category theory in the Julia language
A modern commutative diagram editor for the web.
A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
HoTT group project to TeXify Cartmell's PhD thesis “Generalised Algebraic Theories and Contextual Categories”