Projects

OCaml · lexer → TACKY IR → x86-64

Built an OCaml-based C compiler lowering source programs through lexer → AST → semantic analysis → TACKY IR → x86-64 assembly, with support for lexical scoping, control flow, loops, and structured IR lowering.

• Recursive descent parser + AST construction for nested unary ops
• Semantic pass: symbol resolution, lexical scoping, break/continue loop labels
• Custom TACKY IR + control-flow lowering (labels/jumps) before x86-64 codegen

Systems signal · Compiler pipeline · IR design · stack lowering · x86-64 emit

Reverse-mode autodiff in OCaml

Built a PyTorch-inspired autodiff engine in OCaml, modeling computations as graph-based tensor operations and implementing reverse-mode differentiation through explicit graph traversal.

• Computation graph construction with typed tensor nodes and ops
• Reverse-mode backprop via explicit tape traversal (not magic .backward())
• OCaml modules + gradcheck harness; roadmap toward vectorized tensor backend

Systems signal · Autodiff engine · computation graph · ML systems in OCaml

WiFi actuators · Blynk · embedded integration

IoT robotic flower on Arduino UNO R4 WiFi: Blynk remote control, multi-servo petal actuation, LCD + ultrasonic sensing, and Morse-code LED feedback in one embedded pipeline.

• Blynk virtual pins → servo sequences over WiFiS3
• I2C LCD status + ultrasonic proximity events alongside motion
• Power/timing debug across concurrent actuators and wireless drops

Systems signal · Embedded IoT · actuators · sensors · wireless control loop

Fusion 360 CAD · LED power · soldered integration

Handheld lightsaber build integrating Fusion 360 CAD, 3D-printed hilt/battery packaging, LED strip power routing, and switch wiring with solder joints rated for motion.

• 3D-printed hilt, emitter, battery carrier with tolerance iteration
• LED strip segmentation + switch path for even blade glow under load
• Contact/solder reliability under flex — integration, not bench-only wiring

Systems signal · Hardware integration · CAD + circuits · power under motion