[ICML2026] The first, fully verified, sorry-free, large-scale Lean 4 library for statistical learning theory, covering infrastructures for mordern statistics and learning theory.

A implementation of tour algorithms in R

A Julia implementation of the Targeted Minimum Loss-based Estimation

Generalized Random Forests with the IV

The MiniZinc compiler

Convex optimization for statistics and machine learning

Reproducible data analysis for "Inferring causal genotype-phenotype relationships for population-sampled parent-child trios" by Tang, Cabreros, and Storey

Official Github for Wharton STAT 4830

Animation engine for explanatory math videos

Compositional Linear Algebra

A lightweight version of R Markdown (without using Pandoc or knitr)

R package wrapping the Python package adelie.

A fast and flexible Python package for efficiently solving lasso, elastic net, group lasso, and group elastic net problems.

R toolkit for single cell genomics

Clarabel.jl: Interior-point solver for convex conic optimisation problems in Julia.

Advanced Topics in Causal Inference PLSC 40601

Accurate sample inference from amplicon data with single nucleotide resolution

DSL for experimental design and statistical analysis

The course text for MIT 6.832 (and 6.832x on edX)

Universal Scene Description

RNA-seq aligner

COIN-OR Interior Point Optimizer IPOPT

Materials and syllabus for Cornell ORIE 7391, Faster: Algorithmic Ideas for Speeding Up Optimization