ProjectsProjects
- 2022
- learning Alloy, model all the things! (August 2022, last update April 2023)
- bold, a remote-first build system (December 2022 to January 2023)
- home recycling, stop throwing away plastic (July 2022)
- being the wandering toolmaker, staff engineering at NoRedInk (May 2022)
- 2021
- rbt, the Roc build tool (June 2021 to December 2022)
- elm-csv, a CSV parser (January 2021 to November 2021)
- 2020
- bad-datalog, a datalog in Elm (August 2020 to June 2022)
- a batch at the Recurse Center, M1 2020 (January 2020 to January 2020)
