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

Posit Cheat Sheets - Can also be found at https://posit.co/resources/cheatsheets/.

Advanced R: a book

A book about compiling Racket and Python to x86-64 assembly

A free book: "The Science of Functional Programming"

papers of Per Martin Löf

The Type Astronaut's Guide to Shapeless

Efficient R programming: a book

LaTeX package and annotated examples for annotating equations using TikZ.

amateur translation project of Grothendieck's EGA.

Repository for the textbook 'Improving Your Statistical Inferences' by Daniel Lakens

Engineering Production-Grade Shiny Apps — Published in the R Series

A version of the 1997 SML definition with corrections and some proposed Successor ML features added.

LaTeX code for a paper on lean's type theory

Agda lecture notes for the Functional Programming course at TU Delft

UCalgary version of forallx, an introduction to formal logic

Elementary Number Theory: Primes, Congruences, and Secrets

A tutorial to the Idris Programming Language.

Learning Object-Oriented Programming with Pharo

Lecture notes from Cambridge maths

Open source LaTeX of Pharo By Example

Modeling and Programming with Gecode

Lecture notes and exercises for the introductory course on domain theory and denotational semantics at the Midlands Graduate School (MGS) 2023

Starter template for a scientific book written in LaTeX with scripts for producing PDF, HTML, ePub, mobi, et al. formats.

Object-Oriented Reengineering Patterns

Dynamic Web Development with Seaside

Quarto template for a nice scholarly PDF format

All code and content for my blog.