ENGINEERING PROJECTS
Compiler integrations, typed bindings, reactive systems and concurrency tools. Each project links to its implementation and documentation; expand its technical details to read more about the work.
Generate typed Fable bindings from TypeScript libraries through the compiler's own API.
I built an F# generator around the TypeScript 7 compiler API, with generated protocol bindings and batched requests. It also produces the DOM and Node bindings published alongside the tool.
F# components compiled to Solid JSX, with typed props and reactive control flow.
Building on Oxpecker.Solid, I developed the DSL and Fable AST transforms for typed components and JSX output. This site's interactive project explorer is compiled from an F# script.
Fine-grained reactive computation for .NET, built around explicit dependencies.
I built a reactive graph engine for .NET and Fable with dynamic dependency tracking, deterministic ownership and explicit pending/error boundaries. Its trace log powers the live signal maps in this site's walkthrough.
Keep build stages and CLI options in sync by deriving each command's flags from its pipeline.
Building on Fun.Build and FSharp.SystemCommandLine, I designed a typed DSL where stages declare the options they use. This site's build, checks and GitHub workflows run through the same CLI.
A lock-free queue for passing reference objects between concurrent producers and consumers.
A pure Nim implementation of the Giersch–Nolte concurrent FIFO algorithm, developed for CPS continuations, with deterministic memory reclamation and cache-aware queue layout.
Coordinate writing, concurrent reading and memory reclamation with a compact synchronisation primitive.
A pure Nim implementation of Mariusz Orlikowski's WRFLock: an eight-byte state machine with separate write, read and free capabilities, using futex waits or configurable yielding.
Electron-js bindings for Fable, with F# type safe IPC
Bindings for the Electron-js API, with F# type safe IPC, with cron workflow regenerating the bindings for new Electron versions, and creating PRs on Major releases or errors.