Three formalization results from my work at Math, Inc.

A short experiment in trigonometry and sound design.

My macOS system configuration files and setup automation.

Custom programming language I developed in my senior year of high school.

My high school senior year independent study.