Archive
All Projects
-
Owl
Runtime verification for Gleam using sHML-based monitors compiled from a temporal property DSL, with low-overhead BEAM bytecode tracing for distributed actor systems. Capstone for CS 6156.
-
Fern
A language targeting LLVM IR with Hindley-Milner + Algorithm W type inference, refinement types, trait constraints, row polymorphism, and exhaustive pattern matching.
-
Bo Nix
Full optimizing compiler for Eta/Rho → x86-64 in Java: lexer through register allocation, ABI-compliant codegen, and language extensions including records and null handling. Capstone for CS 4120.
-
Guardrails: Atomic
Built a Next.js 15 + TypeScript platform where engineers define distributed-system requirements in a YAML DSL and run a Z3-backed CEGIS loop with GPT-4-guided synthesis/repair until invariants are formally discharged.
-
VOX
Built a production-ready academic journal platform by extending Payload CMS with a Next.js 15 App Router frontend, TypeScript-first APIs, PostgreSQL persistence, GraphQL, S3 media, and AWS deployment/ops hardening.
-
Bloch Sphere
Interactive single-qubit Bloch sphere visualization built with Bun, React, and Three.js, including built-in gates, custom 2x2 unitary input, state-drag interaction, and undo/redo history.