Projects
Things I have built
Compilers, parsers, runtimes, and verification tools built to explore difficult implementation problems and fill gaps in existing toolchains.
On GitHub
Published work
Open-source projects, with implementation details and technical write-ups where available.
A high-performance, SIMD-accelerated Lisp parser and parsing framework designed to run at multi-GB/s.
A formal model checker for C# code transformation. The work involved building a compiler down to a functional, basic-block-form SSA — a way around the regional shape of Roslyn control-flow graphs — so that the code under validation could be modelled as an optimised SMT representation.
consteval is a strict compile-time evaluation feature for C#, in the spirit of the C++ keyword: a function marked consteval must be evaluated by the compiler and can never run at runtime. Its arguments have to be known at compile time, and what reaches the emitted code is the computed result rather than the call.
Independent
Compiler work, 2016 – 2021
Compiler and runtime projects built independently between 2016 and 2021. These projects were not publicly released.
Hertz
A from-scratch JIT compiled ARM emulator targeting the x86-64 architecture, with a parallel-optimised runtime system.
Modern Pascal → JVM
A compiler for modern Pascal targeting the Java Virtual Machine — a full frontend through to JVM bytecode generation.
Cxx-Echo
A libclang-based runtime-reflection library for C++, providing programmatic introspection before static reflection became part of C++26.
More on GitHub
For more projects and experiments, visit my GitHub profile.