Projects

Scales Tool

I got really interested in using visuals and animation to understand musical scales, and the Scales Tool is 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.

Measuring Months

My inner mathematician gets a little upset when I try to measure an interval of time in months. After all, a month is not a standard unit of time. Novembers are shorter than Decembers. Some Februaries are longer than others due to leap days. And when Daylight Saving Time starts or ends, that month can lose or gain an hour.

Is there a way to measure time in months that's good enough? Check out the months_measurement Python library for my take on this.

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 check out the software I wrote in Haskell to generate web and pdf formats of the book from a common source document.