After getting the Idris2 compiler to work when compiled to Javascript, I made a web playground for it based on the one I did for Newt. The playground use Preact, Typescript, and Codemirror6. Codemirror is less batteries-included than monaco, but works better on mobile.

I wrote utilities to extract documents from the Apple Notes database. I use this to back up my notes. I haven’t looked at this in a while, the table decoding needs to be updated to handle changes on Apple’s side, and newer features need to be handled.

Go code to convert iWork documents (Pages, Sheets, Keynote) to HTML. I haven’t maintained it in the last decade. I partially did this because I wanted longevity for my files and Apple deprecates file formats, but also because it was fun.

Patches to get the Idris2 compiler to run on nodejs. Includes a pre-built distribution for devices that are too small to build the chez Idris and I also used this for the idris2-playground.

A utility to decrypt iOS backups. I wrote this so I could poke around in the files to see how apps store their data and to extract keychain information. It is written in Go, but shows its age a little. Based on iphone-dataprotection - a python based tool that was hosted on google code.

A desktop application used to schedule movies and television shows. This application was a rewrite of an older Java application.