The Streaming Data Warehouse

Some Lean tutorials

Lean material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics.

Book in preparation: introduction to theoretical computer science

An implementation of differential dataflow using timely dataflow on Rust.

A collection of research materials on explainable AI/ML

CARLA: A Python Library to Benchmark Algorithmic Recourse and Counterfactual Explanation Algorithms

Blocks specific sites from appearing in Google search results

Generate Diverse Counterfactual Explanations for any machine learning model.

A curated list of awesome machine learning interpretability resources.

An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.

A curated, public list collecting resources for biomechanics and human motion: datasets, processing tools, software for simulation, educational videos, lectures, etc.

Slitter is a C- and Rust-callable slab allocator implemented primarily in Rust, with some C for performance or to avoid unstable Rust features.

Spartan type theory

Some notes on things I find interesting and important.

A tiny scalar-valued autograd engine and a neural net library on top of it with PyTorch-like API

A curated list of Rust code and resources.

Prototype extension of the Rust type system towards checking units-of-measure

A guideline for building practical production-level deep learning systems to be deployed in real world applications.

A sorted array with O(lg n) access and O(√n) inserts and deletes

The Materialize SQL parser

Avro client library implementation in Rust