A beautiful, simple, clean, and responsive Jekyll theme for academics

Example models for Stan

The Querynomicon: An Introduction to SQL for Wary Data Scientists

An expressive, simple, dynamic programming language.

Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant

Case studies in applied and computational statistics.

LMS + External Tool Workflow Orchestration

Implement Clustering via Uncoupled REgression (CURE) from NeurIPS 2020.