TypeScript, JavaScript
A language suite 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.