Projects

A statically-typed functional language in the ML/Elixir family, compiled to native binaries via LLVM. Hindley-Milner inference, algebraic data types, and linear/affine types for ownership and actor message-passing isolation — plus a capability system that makes what a function can touch (files, network, the console) part of its type.

An iOS podcast-listening app built with SwiftUI and SwiftData. Single-user, no backend of its own — podcast discovery comes from Apple's iTunes Search API, and episode/chapter metadata and audio come directly from each show's RSS feed, parsed client-side.

An Elixir client for Snowflake, built on `DBConnection` and ODBC. Gives Elixir/Phoenix apps connection pooling, query parameterization, and streaming results against Snowflake without hand-rolling ODBC plumbing.

March's web framework — the Phoenix to March's Elixir. Server-rendered HTML by default, typed WASM islands for the parts of the page that need interactivity, pattern-matched routing, typed middleware pipelines, and real-time WebSocket channels, all written in March and typed end to end.