TypeScript, JavaScript
A "language extension" that uses a custom library and static analyzer in tandem to add static typing, runtime validation, and more to vanilla JavaScript. Types in Ectype are first-class values and exist both statically and at runtime, allowing for flexible handoff of type coverage. Presented at Strange Loop 2023.
Rust, Kotlin, JVM, Node.js, ANTLR
A strongly, statically typed general-purpose programming language featuring first-class types. Various designs and implementations built over the years, including a JS transpiler, JVM compiler, and Rust VM in various stages of completeness.
Go, Babel/WebPack, SCSS, MySQL
A note-taking app that features Markdown with LaTeX support, a dynamic editor with highlighting, side-by-side editing, and privacy and sharing controls. Used daily for five years, now retired and open-sourced.
Node.js, jQuery, socket.io, DarkSky API, Google Calendar API
A purpose-built life status display for at-a-glance information such as weather, upcoming events, and server status. Used to hang on my bedroom wall.