Archive
All Projects
-
Quon
A Rust/MLIR optimizing compiler toolkit for quantum programs: a linearly-typed source language with symbolic depth bounds and inferred Clifford classification, lowering through custom MLIR dialects to OpenQASM 3 (SABRE routing, native-gate decomposition) or to verified neutral-atom schedules with a QEC workload IR, ZX-calculus and Clifford+T rewriting, and Stim/Sinter-validated resource reports. 100K+ lines of Rust, 500+ commits, with its own formatter, linter, LSP, and release toolchain.
-
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. Started as a capstone for CS 6156; now growing toward causal, evidence-backed verdicts over cross-system action sequences rather than a single BEAM app.
-
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.