Projects

Visual Music Tools

I got really interested in using visuals and animation to understand musical scales, and the Visual Music Tools are the result. You can check out the React/TypeScript code on Github.

The smoothmath library

I wrote a Python library for computing differentials. The library provides an embedded domain specific language that unifies synthentic and numeric approaches to differentiation. Under the hood, I've implemented both forward- and reverse-differentiation techniques.

Check out the smoothmath documentation and repository.

Crossword Builder

The Crossword Builder is a web application that helps people construct crossword puzzles. I wrote the front end with React/TypeScript and the back end using FastAPI.

Here's the Crossword Builder repository.

Calculus Typed

I wrote Calculus Typed as a labor of love. I wanted to explore how ideas from Type Theory could be used to explain Calculus. In particular, I wanted to understand the differential as a dependent number, a dependent ruler, a dependent metric, etc., with each typing having its own motivating visuals.

In addition to the book, you can view the software I wrote in Haskell to generate web and pdf formats of the book from a common source document.