A simple tool for visually comparing two PDF files

Ports of "Indiana" Scheme libraries

A garden of small programming language implementations 🪴

Our World In Data jupyter notebooks

Scrollytelling with IntersectionObserver.

Static analyzer for C/C++ based on the theory of Abstract Interpretation.

CS316 "Functional Programming" lecture notes

A basic introduction to coding in modern C++.

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

CMSC 430 Design and Implementation of Programming Languages

Talk to be given at PLMW 2022

Tiny subset of JavaScript for ocap-safe universal mobile code

The book "Performance Analysis and Tuning on Modern CPU"

Infrastructure to autograde Racket code on Gradescope

Spelling, grammar and style checking on LaTeX documents

A compiler for the gradually typed lambda calculus

a simple script to assist in making a clean directory to upload to arxiv

Implementations of the compilers and VMs from R. Kent Dybvig's "Three Implementation Models for Scheme." Each file is named after the section of the paper it implements. I made a few modifications …

Animation engine for explanatory math videos

Comprehensive collection of programming styles using a simple computational task, term frequency