Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

Software developer resume in Latex

The Dao of Functional Programming

Research on integrating datalog & lambda calculus via monotonicity types

Course materials for Dartmouth course: Human Memory (PSYC 51.09)

Comprehensive open source book on basic topology, smooth manifolds, differential geometry, Lie theory, homological algebra, and index theory.

Paper and talk

Clinical Trial Designs in R & RStan

A TikZ library of wiring diagrams

Time-varying values with start and end times.

A PPI network driven approach to drug-target-interaction prediction using deep graph learning methods.

Lightweight project skeleton for machine learning projects using wandb and sacred

Designing a proof representation/interchange format as inspired by the Dagstuhl seminar on Universality of Proofs (2016)

Rethinking Inheritance with Polynomial Functors